-
1
-
-
33646698687
-
-
Aalst, W.M.P. van der; Beer, H.T. de; and Dongen, B.F. van. Process mining and verification of properties: An approach based on temporal logic. In R. Meersman, Z. Tari, M.-S. Hacid, J. Mylopoulos, B. Pernici, Ö. Babaoglu, H.-A. Jacobsen, J.P. Loyall, M. Kifer, and S. Spaccapietra (eds.), OTM Conferences. Berlin: Springer, 2005, pp. 130-147.
-
Aalst, W.M.P. van der; Beer, H.T. de; and Dongen, B.F. van. Process mining and verification of properties: An approach based on temporal logic. In R. Meersman, Z. Tari, M.-S. Hacid, J. Mylopoulos, B. Pernici, Ö. Babaoglu, H.-A. Jacobsen, J.P. Loyall, M. Kifer, and S. Spaccapietra (eds.), OTM Conferences. Berlin: Springer, 2005, pp. 130-147.
-
-
-
-
2
-
-
0141680986
-
Workflow mining: A survey of issues and approaches
-
Aalst, W.M.P. van der; Dongen, B.F. van; Herbst, J.; Maruster, L.; Schimm, G.; and Weijters, A.J.M.M. Workflow mining: A survey of issues and approaches. Data & Knowledge Engineering, 47, 2 (2003), 237-267.
-
(2003)
Data & Knowledge Engineering
, vol.47
, Issue.2
, pp. 237-267
-
-
Aalst1
van der, W.M.P.2
Dongen3
van, B.F.4
Herbst, J.5
Maruster, L.6
Schimm, G.7
Weijters, A.J.M.M.8
-
3
-
-
30044452647
-
Dynamic and secure B2B e-contract update management
-
J. Riedl, M.J. Kearns, and M.K. Reiter eds, New York: ACM
-
Angelov, S.; Till, S.; and Grefen, P.W.P.J. Dynamic and secure B2B e-contract update management. In J. Riedl, M.J. Kearns, and M.K. Reiter (eds.), Proceedings of the 6th ACM Conference on Electronic Commerce. New York: ACM, 2005, pp. 19-28.
-
(2005)
Proceedings of the 6th ACM Conference on Electronic Commerce
, pp. 19-28
-
-
Angelov, S.1
Till, S.2
Grefen, P.W.P.J.3
-
4
-
-
0042917889
-
Developing and integrating enterprise components and services
-
Arsanjani, A. Developing and integrating enterprise components and services. Communications of the ACM, 45, 10 (2002), 31-34.
-
(2002)
Communications of the ACM
, vol.45
, Issue.10
, pp. 31-34
-
-
Arsanjani, A.1
-
5
-
-
31444451694
-
-
Bacarin, E.; Medeiros, C.B.; and Madeira, E.R.M. A collaborative model for agricultural supply chains. In R. Meersman and Z. Tari (eds.), CoopIS 2004. LNCS 3290. Lanarca, Cyprus: Springer, 2004, pp. 319-336.
-
Bacarin, E.; Medeiros, C.B.; and Madeira, E.R.M. A collaborative model for agricultural supply chains. In R. Meersman and Z. Tari (eds.), CoopIS 2004. LNCS vol. 3290. Lanarca, Cyprus: Springer, 2004, pp. 319-336.
-
-
-
-
6
-
-
36849069891
-
A software framework for automated negotiation
-
R. Choren, A.F. Garcia, C.J.P. Lucena, and A.B. Romanovsky eds, Edinburgh, UK: Springer
-
Bartolini, C.; Preist, C.; and Jennings, N.R. A software framework for automated negotiation. In R. Choren, A.F. Garcia, C.J.P. Lucena, and A.B. Romanovsky (eds.), SELMAS. Edinburgh, UK: Springer, 2004, pp. 213-235.
-
(2004)
SELMAS
, pp. 213-235
-
-
Bartolini, C.1
Preist, C.2
Jennings, N.R.3
-
7
-
-
33748162637
-
SISCO: An object-oriented supply chain simulation system
-
Chatfield, D.C.; Harrison, T.P.; and Hayya, J.C. SISCO: An object-oriented supply chain simulation system. Decision Support Systems, 42, 1 (2006), 422-434.
-
(2006)
Decision Support Systems
, vol.42
, Issue.1
, pp. 422-434
-
-
Chatfield, D.C.1
Harrison, T.P.2
Hayya, J.C.3
-
8
-
-
13844297042
-
Developing e-negotiation support with a meta-modeling approach in a Web services environment
-
July
-
Chiu, D.K.W.; Cheung, S.C.; Hung, P.C.K.; Chiu, S.Y.Y.; and Chung, A.K.K. Developing e-negotiation support with a meta-modeling approach in a Web services environment. Decision Support Systems, 40, 1 (July 2005), 51-69.
-
(2005)
Decision Support Systems
, vol.40
, Issue.1
, pp. 51-69
-
-
Chiu, D.K.W.1
Cheung, S.C.2
Hung, P.C.K.3
Chiu, S.Y.Y.4
Chung, A.K.K.5
-
9
-
-
33845876879
-
A feature-based approach to electronic contracts
-
H.R. Arabnia ed, Los Alamitos, CA: IEEE Computer Society Press
-
Fantinato, M.; Toledo, M.B.F. de; and Gimenes, I.M. de S. A feature-based approach to electronic contracts. In H.R. Arabnia (ed.), Proceedings of 2006 International Conference on e-Learning, e-Business, Enterprise Information Systems, e-Government, & Outsourcing. Los Alamitos, CA: IEEE Computer Society Press, 2006, pp. 34-41.
-
(2006)
Proceedings of 2006 International Conference on e-Learning, e-Business, Enterprise Information Systems, e-Government, & Outsourcing
, pp. 34-41
-
-
Fantinato, M.1
Toledo2
de, M.B.F.3
Gimenes, I.M.D.S.4
-
11
-
-
0019928314
-
Elections in distributed computing systems
-
January
-
Garcia-Molina, H. Elections in distributed computing systems. IEEE Transactions on Computers, C-31, 1 (January 1982), 48-59.
-
(1982)
IEEE Transactions on Computers
, vol.C-31
, Issue.1
, pp. 48-59
-
-
Garcia-Molina, H.1
-
12
-
-
38749096258
-
Compliance checking between business processes and business contracts
-
Los Alamitos, CA: IEEE Computer Society Press
-
Governatori, G.; Milosevic, Z.; and Sadiq, S. Compliance checking between business processes and business contracts. In Proceedings of the 10th International Enterprise Distributed Object Computing Conference. Los Alamitos, CA: IEEE Computer Society Press, 2006, pp. 221-232.
-
(2006)
Proceedings of the 10th International Enterprise Distributed Object Computing Conference
, pp. 221-232
-
-
Governatori, G.1
Milosevic, Z.2
Sadiq, S.3
-
13
-
-
7544246851
-
A formal approach to protocols and strategies for (legal) negotiation
-
New York: ACM
-
Governatori, G.; Dumas, M.; Hofstede, A.H.M. ter; and Oaks, P. A formal approach to protocols and strategies for (legal) negotiation. In Proceedings of the Eighth International Conference on Artificial Intelligence and Law. New York: ACM, 2001, pp. 168-177.
-
(2001)
Proceedings of the Eighth International Conference on Artificial Intelligence and Law
, pp. 168-177
-
-
Governatori, G.1
Dumas, M.2
Hofstede3
ter, A.H.M.4
Oaks, P.5
-
14
-
-
0006606491
-
Courteous logic programs: Prioritized conflict handling for rules
-
RC20836 May
-
Grosof, B. Courteous logic programs: Prioritized conflict handling for rules. IBM Research Report RC20836 (May 1997).
-
(1997)
IBM Research Report
-
-
Grosof, B.1
-
15
-
-
3042734985
-
Information systems in supply chain integration and management
-
Gunasekaran, A., and Ngai, E.W.T. Information systems in supply chain integration and management. European Journal of Operational Research, 159, 2 (2004), 269-295.
-
(2004)
European Journal of Operational Research
, vol.159
, Issue.2
, pp. 269-295
-
-
Gunasekaran, A.1
Ngai, E.W.T.2
-
16
-
-
7444228102
-
-
Henderson, P.; Crouch, S.; Walters, R.J.; and Ni, Q. Comparison of some negotiation algorithms using a tournament-based approach. In J.G. Carbonell and S. Siekmann (eds.), Agent Technologies, Infrastructures, Tools, and Applications for E-Services, LNAI 2592. Erfurt, Germany: Springer, 2003, pp. 137-150. 17 Hoffner, Y.; Ludwig, H.; Grefen, P.; and Aberer, K. Crossflow: Integrating workflow management and electronic commerce. SIGecom Exch., 2, 1 (2001), 1-10.
-
Henderson, P.; Crouch, S.; Walters, R.J.; and Ni, Q. Comparison of some negotiation algorithms using a tournament-based approach. In J.G. Carbonell and S. Siekmann (eds.), Agent Technologies, Infrastructures, Tools, and Applications for E-Services, LNAI vol. 2592. Erfurt, Germany: Springer, 2003, pp. 137-150. 17 Hoffner, Y.; Ludwig, H.; Grefen, P.; and Aberer, K. Crossflow: Integrating workflow management and electronic commerce. SIGecom Exch., 2, 1 (2001), 1-10.
-
-
-
-
17
-
-
84889318414
-
-
IBM. Ws-coordination. www.ibm.com/developerworks/library/specification/ ws-tx/.
-
Ws-coordination
-
-
-
18
-
-
48249119407
-
Traceability in food for supply chains
-
Los Alamitos, CA: IEEE Computer Society Press
-
Kondo, A.K.; Medeiros, C.B.; Bacarin, E.; and Madeira, E.R.M. Traceability in food for supply chains. In Proceedings of the 3d International Conference on Web Information Systems and Technologies. Los Alamitos, CA: IEEE Computer Society Press, 2007, pp. 121-127.
-
(2007)
Proceedings of the 3d International Conference on Web Information Systems and Technologies
, pp. 121-127
-
-
Kondo, A.K.1
Medeiros, C.B.2
Bacarin, E.3
Madeira, E.R.M.4
-
19
-
-
4243069517
-
An ERec framework for e-contract modeling, enactment and monitoring
-
October
-
Krishna, R.; Karlapalem, K.; and Chiu, D.K.W. An ERec framework for e-contract modeling, enactment and monitoring. Data & Knowledge Engineering, 51, 1 (October 2004), 31-58.
-
(2004)
Data & Knowledge Engineering
, vol.51
, Issue.1
, pp. 31-58
-
-
Krishna, R.1
Karlapalem, K.2
Chiu, D.K.W.3
-
20
-
-
4243078497
-
A unified behavioural model and a contract language for extended enterprise
-
Linington, P.F.; Milosevic, Z.; Cole, J.; Gibson, S.; Kulkarni, S.; and Neal, S. A unified behavioural model and a contract language for extended enterprise. Data & Knowledge Engineering, 51, 1 (2004), 5-29.
-
(2004)
Data & Knowledge Engineering
, vol.51
, Issue.1
, pp. 5-29
-
-
Linington, P.F.1
Milosevic, Z.2
Cole, J.3
Gibson, S.4
Kulkarni, S.5
Neal, S.6
-
21
-
-
31044445131
-
Ontology-based services to help solving the heterogeneity problem in e-commerce negotiations
-
Malucelli, A.; Palzer, D.; and Oliveira, E. Ontology-based services to help solving the heterogeneity problem in e-commerce negotiations. Electronic Commerce Research and Applications, 5, 1 (2006), 29-43.
-
(2006)
Electronic Commerce Research and Applications
, vol.5
, Issue.1
, pp. 29-43
-
-
Malucelli, A.1
Palzer, D.2
Oliveira, E.3
-
22
-
-
0036642607
-
Supply chain modeling: Past, present and future
-
July
-
Min, H., and Zhou, G. Supply chain modeling: Past, present and future. Computer & Industrial Engineering, 43 (July 2002), 231-249.
-
(2002)
Computer & Industrial Engineering
, vol.43
, pp. 231-249
-
-
Min, H.1
Zhou, G.2
-
23
-
-
3543066387
-
A system for principled matchmaking in electronic marketplace
-
Summer
-
Noia, T.; Sciascio, E.; Donini, F.M.; and Mongiello, M. A system for principled matchmaking in electronic marketplace. International Journal of Electronic Commerce, 8, 4 (Summer 2004), 9-37.
-
(2004)
International Journal of Electronic Commerce
, vol.8
, Issue.4
, pp. 9-37
-
-
Noia, T.1
Sciascio, E.2
Donini, F.M.3
Mongiello, M.4
-
25
-
-
0036643192
-
Cross-organizational workflow integration using contracts
-
July
-
Weigand, H., and Heuvel, W. Cross-organizational workflow integration using contracts. Decision Support Systems, 33, 3 (July 2002), 247-265.
-
(2002)
Decision Support Systems
, vol.33
, Issue.3
, pp. 247-265
-
-
Weigand, H.1
Heuvel, W.2
|