-
1
-
-
85031933412
-
Composing specifications
-
System Research Center
-
Abadi, M. and Lamport, L. (1990), "Composing specifications", Technical Report 66, System Research Center.
-
(1990)
Technical Report
, vol.66
-
-
Abadi, M.1
Lamport, L.2
-
2
-
-
2542533710
-
An axiomatization of Lamport's temporal logic of action
-
Systems Research Center of Digital Equipment Corporation
-
Abedi, M. (1990), "An axiomatization of Lamport's temporal logic of action", technical report, Systems Research Center of Digital Equipment Corporation.
-
(1990)
Technical Report
-
-
Abedi, M.1
-
3
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen, J.F. (1983), "Maintaining knowledge about temporal intervals", Communication of ACM, Vol. 26 No. 11, pp. 832-43.
-
(1983)
Communication of ACM
, vol.26
, Issue.11
, pp. 832-43
-
-
Allen, J.F.1
-
4
-
-
77957182145
-
Actions and events in interval temporal logic
-
Allen, J.F. and Ferguson, G. (1994), "Actions and events in interval temporal logic", Journal of Logic and Computation, Vol. 4 No. 5, pp. 531-79.
-
(1994)
Journal of Logic and Computation
, vol.4
, Issue.5
, pp. 531-79
-
-
Allen, J.F.1
Ferguson, G.2
-
5
-
-
18544381785
-
Guideline of business process modeling
-
Springer Verlag Berlin
-
Becker, J., Rosemann, M. and von Uthmann, C. (2000), "Guideline of business process modeling", Business Process Management, Springer Verlag, Berlin.
-
(2000)
Business Process Management
-
-
Becker, J.1
Rosemann, M.2
Von Uthmann, C.3
-
6
-
-
33748700622
-
Domain engineering: A radical innovation for software and system engineering
-
paper presented
-
Bjorner, D. (2002), "Domain engineering: a radical innovation for software and system engineering", paper presented at the US Army Research Office sponsored Monterery Workshop.
-
(2002)
US Army Research Office sponsored Monterery Workshop
-
-
Bjorner, D.1
-
8
-
-
0000048034
-
Modeling workflow dynamic change using timed hybrid flow nets
-
Number LNCS 1806 Eindhoven University of Technology Eindhoven
-
CA, E., K, K. and J, W. (1998), "Modeling workflow dynamic change using timed hybrid flow nets", Workflow Management: Net-based Concepts, Models, Techniques and Tools, Number LNCS 1806, Eindhoven University of Technology, Eindhoven, pp. 109-28.
-
(1998)
Workflow Management: Net-based Concepts, Models, Techniques and Tools
, pp. 109-28
-
-
E., C.A.1
K., K.2
W., J.3
-
9
-
-
33748698848
-
Levels of help, levels of delegation and agent modeling
-
Tambe, M. Gmytrasiewcz, P., Portland, OR
-
Castelfranchi, C. and Falcone, R. (1996), "Levels of help, levels of delegation and agent modeling", in Tambe, M. and Gmytrasiewcz, P. (Eds), Working Notes of the AAAI - 96 Workshop on Agent Modeling, Portland, OR, pp. 1-8.
-
(1996)
Working Notes of the AAAI - 96 Workshop on Agent Modeling
, pp. 1-8
-
-
Castelfranchi, C.1
Falcone, R.2
-
10
-
-
0032154114
-
Towards a theory of delegation for agent based-systems
-
Castelfranchi, C. and Falcone, R. (1998), "Towards a theory of delegation for agent based-systems", Robotic and Autonomous Systems, Vol. 24, pp. 141-57.
-
(1998)
Robotic and Autonomous Systems
, vol.24
, pp. 141-57
-
-
Castelfranchi, C.1
Falcone, R.2
-
11
-
-
0036724287
-
Modelling and evaluation of time aspects in business processes
-
Dehnert, J., Freiheit, J. and Zimmermann, A. (2002), "Modelling and evaluation of time aspects in business processes", Journal of the Operational Research Society, Vol. 53, pp. 1038-47.
-
(2002)
Journal of the Operational Research Society
, vol.53
, pp. 1038-47
-
-
Dehnert, J.1
Freiheit, J.2
Zimmermann, A.3
-
12
-
-
0010139052
-
Modeling, simulation and analysis of business processes
-
Number LNCS 1806 Springer Verlag Berlin
-
Desel, J. and Erwin, T. (2000), "Modeling, simulation and analysis of business processes", Business Process Management, Number LNCS 1806, Springer Verlag, Berlin, pp. 129-41.
-
(2000)
Business Process Management
, pp. 129-41
-
-
Desel, J.1
Erwin, T.2
-
13
-
-
0001758932
-
Time management in workflow systems
-
Eder, J., Rabinovich, M., Pozewaunig, H. and Panagos, E. (1999), "Time management in workflow systems", Lecture Notes in Computer Science.
-
(1999)
Lecture Notes in Computer Science
-
-
Eder, J.1
Rabinovich, M.2
Pozewaunig, H.3
Panagos, E.4
-
14
-
-
0026980757
-
Time management: A case for CSCW
-
ACM New York, NY
-
Egger, E. and Wagner, I. (1999), "Time management: a case for CSCW", CSCW'92, ACM, New York, NY, pp. 249-56.
-
(1999)
CSCW'92
, pp. 249-56
-
-
Egger, E.1
Wagner, I.2
-
15
-
-
0004120583
-
-
Prentice-Hall Englewood Cliffs, NJ
-
George, C., Havelund, P.H.K., Haxthausen, A.E., Milne, R., Bendix, C., Prehn, S. and Wagner, K.R. (1992), The RAISE Specification Language, Prentice-Hall, Englewood Cliffs, NJ.
-
(1992)
The RAISE Specification Language
-
-
George, C.1
Havelund, P.H.K.2
Haxthausen, A.E.3
Milne, R.4
Bendix, C.5
Prehn, S.6
Wagner, K.R.7
-
16
-
-
0003198753
-
Logics of time and computation
-
CSLI - Center for Study of Language and Information, Stanford University Stanford, CA
-
Goldblatt, R. (1986), "Logics of time and computation", CSLI Lecture Notes, Vol. 7, CSLI - Center for Study of Language and Information, Stanford University, Stanford, CA.
-
(1986)
CSLI Lecture Notes
, vol.7
-
-
Goldblatt, R.1
-
17
-
-
33748680102
-
Formalising feasibility and correctness of distributed business processes
-
Janowski, T. and Adegboyega, O. (2002), "Formalising feasibility and correctness of distributed business processes", Lecture Notes in Computer Science, Vol. 2465, pp. 432-43.
-
(2002)
Lecture Notes in Computer Science
, vol.2465
, pp. 432-43
-
-
Janowski, T.1
Adegboyega, O.2
-
19
-
-
0033728569
-
Role modeling for agent system analysis, design, and implementation
-
Kendall, E.A. (2000), "Role modeling for agent system analysis, design, and implementation", IEEE Concurrency, Agent Systems and Applications.
-
(2000)
IEEE Concurrency, Agent Systems and Applications
-
-
Kendall, E.A.1
-
21
-
-
33748711421
-
TLA in pictures
-
System Research Center - SRC
-
Lamport, L. (1994), "TLA in pictures", technical report, System Research Center - SRC.
-
(1994)
Technical Report
-
-
Lamport, L.1
-
24
-
-
0033728365
-
Hive: Distributed agents for networking things
-
Minar, N., Gray, M., Roup, O., Krikorian, R. and Maes, P. (2000), "Hive: distributed agents for networking things", IEEE Concurrency, Agent Systems and Applications.
-
(2000)
IEEE Concurrency, Agent Systems and Applications
-
-
Minar, N.1
Gray, M.2
Roup, O.3
Krikorian, R.4
Maes, P.5
-
25
-
-
49049113349
-
Definition of deadlock patterns for business process workflow models
-
paper presented
-
Onoda, S., Ikkai, Y., Kobayashi, T. and Komoda, N. (1999), "Definition of deadlock patterns for business process workflow models", paper presented at the 32nd Hawai International Conference on System Sciences.
-
(1999)
32nd Hawai International Conference on System Sciences
-
-
Onoda, S.1
Ikkai, Y.2
Kobayashi, T.3
Komoda, N.4
-
28
-
-
33748686587
-
A generic abstract model for business processes and workflows management
-
(n.d.)paper presented, IRB Verlag Stuttgart
-
Roger, A.E. and Ndjodo, M.F. (n.d.), "A generic abstract model for business processes and workflows management", paper presented at 4th the International Workshop on Mobile Computing, IRB Verlag, Stuttgart, pp. 62-72.
-
4th the International Workshop on Mobile Computing
, pp. 62-72
-
-
Roger, A.E.1
Ndjodo, M.F.2
-
29
-
-
33748694903
-
The partnership approach to mobility management: An evaluation of different models for travel planning by groups of employees
-
paper presented
-
Rye, T. and Paterson, C. (2001), "The partnership approach to mobility management: an evaluation of different models for travel planning by groups of employees", paper presented at the ECOMM.
-
(2001)
ECOMM
-
-
Rye, T.1
Paterson, C.2
-
30
-
-
0033157789
-
Processes driving the networked economy
-
Sheth, A.P., van der Aalst, W. and Arpinar, I.B. (1999), "Processes driving the networked economy", IEEE Concurrency, Vol. 7 No. 3, p. 18.
-
(1999)
IEEE Concurrency
, vol.7
, Issue.3
, pp. 18
-
-
Sheth, A.P.1
Van Der Aalst, W.2
Arpinar, I.B.3
-
31
-
-
33748689023
-
Lesson from travel planning and road user charging for policy-marking: Through imperfection to implementation
-
(n.d.), paper presented, October 2002
-
Stephen Ison, T.R. (n.d.), "Lesson from travel planning and road user charging for policy-marking: through imperfection to implementation", paper presented at the Third seminar of the IMPRINT-EUROPE, October 2002.
-
Third seminar of the IMPRINT-EUROPE
-
-
Stephen Ison, T.R.1
-
32
-
-
0034156532
-
Verification of workflow task structures: A Petri-net-based approach
-
van der Aalst, W. and ter Hofstede, A. (2000), "Verification of workflow task structures: a Petri-net-based approach", Information Systems, Vol. 25 No. 1, pp. 43-69.
-
(2000)
Information Systems
, vol.25
, Issue.1
, pp. 43-69
-
-
Van Der Aalst, W.1
Ter Hofstede, A.2
-
33
-
-
0030190585
-
Business process redesign: A Petri-net-based approach
-
van der Aalst, W. and van Hee, K. (1996), "Business process redesign: a Petri-net-based approach", Computer in Industry, Vol. 29 Nos 1/2, pp. 15-26.
-
(1996)
Computer in Industry
, vol.29
, Issue.12
, pp. 15-26
-
-
Van Der Aalst, W.1
Van Hee, K.2
-
34
-
-
0002635781
-
Modelling and analysing workflow using a Petri-net based approach
-
paper presented
-
van der Aalst, W., van Hee, K. and Houben, G. (1994), "Modelling and analysing workflow using a Petri-net based approach", paper presented at the Second Workshop on CSCW, pp. 31-50.
-
(1994)
Second Workshop on CSCW
, pp. 31-50
-
-
Van Der Aalst, W.1
Van Hee, K.2
Houben, G.3
-
35
-
-
2342635664
-
Techniques for modelling workflows and their support of reuse
-
Springer Verlag Berlin
-
van der Aalst, W. et al. (2000), "Techniques for modelling workflows and their support of reuse", Business Process Management, Springer Verlag, Berlin, pp. 1-15.
-
(2000)
Business Process Management
, pp. 1-15
-
-
Van Der Aalst, W.1
|