-
2
-
-
0000942833
-
Text retrieval: Theory and practice
-
J. van Leeuwen, editor, Madrid, Spain. North-Holland
-
R. A. Baeza-Yates. Text retrieval: theory and practice. In J. van Leeuwen, editor, Proceedings of the 12th IFIP World Computer Congress, pages 465-476, Madrid, Spain, 1992. North-Holland.
-
(1992)
Proceedings of the 12th IFIP World Computer Congress
, pp. 465-476
-
-
Baeza-Yates, R.A.1
-
5
-
-
2442553673
-
Metrics for labelled markov processes
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Metrics for labelled markov processes. Theoretical Computer Science, 318, 2004.
-
(2004)
Theoretical Computer Science
, vol.318
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
6
-
-
33748860508
-
IPR: Automated interaction process reconciliation
-
accepted for publication
-
Z. Du, J. Huai, Y. Liu, C. Hu, and L. Lei. IPR: Automated interaction process reconciliation. In Proceedings of IEEE/ACM International Conference on Web Intelligence (WI), 2005. accepted for publication.
-
(2005)
Proceedings of IEEE/ACM International Conference on Web Intelligence (WI)
-
-
Du, Z.1
Huai, J.2
Liu, Y.3
Hu, C.4
Lei, L.5
-
9
-
-
0003620778
-
-
Addison Wesley
-
J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2001.
-
(2001)
Introduction to Automata Theory, Languages, and Computation
-
-
Hopcroft, J.E.1
Motwani, R.2
Ullman, J.D.3
-
10
-
-
23044520720
-
Inter-operability of workflow applications: Local criteria for global soundness
-
Springer-Verlag
-
E. Kindler, A. Martens, and W. Reisig. Inter-operability of workflow applications: Local criteria for global soundness. In Business Process Management, Models, Techniques, and Empirical Studies, pages 235-253. Springer-Verlag, 2000.
-
(2000)
Business Process Management, Models, Techniques, and Empirical Studies
, pp. 235-253
-
-
Kindler, E.1
Martens, A.2
Reisig, W.3
-
11
-
-
33845387596
-
-
Technical Report IST-28584-OX_D2.3_v.2.0, openXchange Project, Oct
-
D. Krukkert. Matchmaking of ebXML business processes. Technical Report IST-28584-OX_D2.3_v.2.0, openXchange Project, Oct 2003.
-
(2003)
Matchmaking of EbXML Business Processes
-
-
Krukkert, D.1
-
12
-
-
0001116877
-
Binary codes capable of correcting deletions, insertions, and reversals
-
L. I. Levenshtein. Binary codes capable of correcting deletions, insertions, and reversals,. Soviet Physics-Doklady, 10(8):707-710, 1966.
-
(1966)
Soviet Physics-Doklady
, vol.10
, Issue.8
, pp. 707-710
-
-
Levenshtein, L.I.1
-
14
-
-
30944453904
-
Process-annotated service discovery facilitated by an n-gram based index
-
B. Mahleko, A. Wombacher, and P. Fankhauser. Process-annotated service discovery facilitated by an n-gram based index. In Proceedings of IEEE International Confernce on e-Technology, e-Commerce and e-Service (EEE), pages 2-8, 2005.
-
(2005)
Proceedings of IEEE International Confernce on E-Technology, E-Commerce and E-Service (EEE)
, pp. 2-8
-
-
Mahleko, B.1
Wombacher, A.2
Fankhauser, P.3
-
15
-
-
84959047727
-
Compatibility of e-services in a cooperative multi-platform environment
-
F. Casati, D. Georgakopoulos, and M. Shan, editors, Springer LNCS 2193
-
M. Mecella, B. Pernici, and P. Craca. Compatibility of e-services in a cooperative multi-platform environment. In F. Casati, D. Georgakopoulos, and M. Shan, editors, Proceedings of 2rd International Workshop on Technologies for E-Services (TES), pages 44-57. Springer LNCS 2193, 2001.
-
(2001)
Proceedings of 2rd International Workshop on Technologies for E-Services (TES)
, pp. 44-57
-
-
Mecella, M.1
Pernici, B.2
Craca, P.3
-
17
-
-
4544382124
-
Edit-distance of weighted automata: General definitions and algorithms
-
M. Mohri. Edit-distance of weighted automata: General definitions and algorithms. International Journal of Foundations of Computer Science, 14(6):957-982, 2003.
-
(2003)
International Journal of Foundations of Computer Science
, vol.14
, Issue.6
, pp. 957-982
-
-
Mohri, M.1
-
18
-
-
84944060122
-
Contract representation for run-time monitoring and enforcement
-
IEEE
-
C. Molina-Jimenez, S. Shrivastava, E. Solaiman, and J. Warne. Contract representation for run-time monitoring and enforcement. In Proceedings of Conference on Electronic Commerce (CEC), pages 103-110. IEEE, 2003.
-
(2003)
Proceedings of Conference on Electronic Commerce (CEC)
, pp. 103-110
-
-
Molina-Jimenez, C.1
Shrivastava, S.2
Solaiman, E.3
Warne, J.4
-
19
-
-
33845407894
-
-
RosettaNet. RosettaNet home page, http://www.rosettanet.org, 2004.
-
(2004)
RosettaNet Home Page
-
-
-
21
-
-
33745116233
-
Conformance testing: Measuring the fit and appropriateness of event logs and process models
-
A. Rozinat and W. van der Aalst. Conformance testing: Measuring the fit and appropriateness of event logs and process models. In Business Process Management Workshops, pages 163-176, 2005.
-
(2005)
Business Process Management Workshops
, pp. 163-176
-
-
Rozinat, A.1
Van Der Aalst, W.2
-
22
-
-
14544274183
-
Protocols for processes: Programming in the large for open systems
-
M. P. Singh, A. K. Chopra, N. Desai, and A. U. Mallya. Protocols for processes: programming in the large for open systems. SIGPLAN Notices, 39(12):73-83, 2004.
-
(2004)
SIGPLAN Notices
, vol.39
, Issue.12
, pp. 73-83
-
-
Singh, M.P.1
Chopra, A.K.2
Desai, N.3
Mallya, A.U.4
-
24
-
-
27244457559
-
A behavioural pseudometric for metric labelled transition systems
-
M. Abadi and L. de Alfaro, editors, Proceedings 16th International Conference on Concurrency Theory (CONCUR). Springer
-
F. van Breugel. A behavioural pseudometric for metric labelled transition systems. In M. Abadi and L. de Alfaro, editors, Proceedings 16th International Conference on Concurrency Theory (CONCUR), volume 3653 of Lecture Notes in Computer Science, pages 141-155. Springer, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3653
, pp. 141-155
-
-
Van Breugel, F.1
-
25
-
-
0001838826
-
Interorganizational workflows: An approach based on message sequence charts and petri nets
-
W. van der Aalst. Interorganizational workflows: An approach based on message sequence charts and petri nets. Systems Analysis - Modelling - Simulation, 34(3):335-367, 1999.
-
(1999)
Systems Analysis - Modelling - Simulation
, vol.34
, Issue.3
, pp. 335-367
-
-
Van Der Aalst, W.1
-
26
-
-
0037028431
-
Inheritance of workflows: An approach to tackling problems related to change
-
uary
-
W. van der Aalst and T. Basten. Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci., 270(1-2): 125-203, uary.
-
Theor. Comput. Sci.
, vol.270
, Issue.1-2
, pp. 125-203
-
-
Van Der Aalst, W.1
Basten, T.2
-
28
-
-
2542457691
-
Business process management: A survey
-
W. van der Aalst, A. H. M. ter Hofstede, and M. Weske, editors, Proceedings International Conference Business Process Management (BPM). Springer
-
W. van der Aalst, A. H. M. ter Hofstede, and M. Weske. Business process management: A survey. In W. van der Aalst, A. H. M. ter Hofstede, and M. Weske, editors, Proceedings International Conference Business Process Management (BPM), volume 2678 of Lecture Notes in Computer Science, pages 1-12. Springer, 2003.
-
(2003)
Lecture Notes in Computer Science
, vol.2678
, pp. 1-12
-
-
Van Der Aalst, W.1
Ter Hofstede, A.H.M.2
Weske, M.3
-
29
-
-
26444580289
-
The proM framework: A new era in process mining tool support
-
G. Ciardo and P. Darondeau, editors, Proceedings 26th International Conference on Applications and Theory of Petri Nets (ICATPN). Springer
-
B. F. van Dongen, A. K. A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, and W. van der Aalst. The proM framework: A new era in process mining tool support. In G. Ciardo and P. Darondeau, editors, Proceedings 26th International Conference on Applications and Theory of Petri Nets (ICATPN), volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3536
, pp. 444-454
-
-
Van Dongen, B.F.1
De Medeiros, A.K.A.2
Verbeek, H.M.W.3
Weijters, A.J.M.M.4
Van Der Aalst, W.5
-
30
-
-
4544248658
-
Matchmaking for business processes based on choreographies
-
IEEE Computer Society
-
A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold. Matchmaking for business processes based on choreographies. In Proceedings of International Conference on eTechnology, e-Commerce and e-Service (EEE-04). IEEE Computer Society, 2004.
-
(2004)
Proceedings of International Conference on ETechnology, E-Commerce and E-Service (EEE-04)
-
-
Wombacher, A.1
Fankhauser, P.2
Mahleko, B.3
Neuhold, E.4
-
31
-
-
21244479344
-
IPSI-PF:a business process matchmaking engine based on annotated finite state automata
-
A. Wombacher, B. Mahleko, and E. Neuhold. IPSI-PF:a business process matchmaking engine based on annotated finite state automata. Journal on Information Systems and E-Business Management, 3(2):127-150, 2005.
-
(2005)
Journal on Information Systems and E-Business Management
, vol.3
, Issue.2
, pp. 127-150
-
-
Wombacher, A.1
Mahleko, B.2
Neuhold, E.3
-
32
-
-
84880006729
-
Evaluation of workflow similarity measures in service discovery
-
Tagungsband der Multikonferenz Wirtschaflsinformatik - Service Oriented E-Commerce Track (MKWI). Gesellschaft fuer Informatik
-
A. Wombacher and M. Rozie. Evaluation of workflow similarity measures in service discovery. In Tagungsband der Multikonferenz Wirtschaflsinformatik - Service Oriented E-Commerce Track (MKWI), volume P-80 of Lecture Notes in Informatics (LNI), pages 57-72. Gesellschaft fuer Informatik, 2006.
-
(2006)
Lecture Notes in Informatics (LNI)
, vol.P-80
, pp. 57-72
-
-
Wombacher, A.1
Rozie, M.2
|