-
5
-
-
0344034677
-
Modeling and formal verifi{ligature}cation of embedded systems based on a Petri net representation
-
Cortes L.A., Eles P., and Peng Z. Modeling and formal verifi{ligature}cation of embedded systems based on a Petri net representation. Journal of System Architecture 49 (2003)
-
(2003)
Journal of System Architecture
, vol.49
-
-
Cortes, L.A.1
Eles, P.2
Peng, Z.3
-
9
-
-
38649122835
-
One-stop Government Prototype based on Use Cases and Scenarios
-
Electronic Government. Traunmüller R., and Lenk K. (Eds), Springer Verlag, Berlin LNCS 2456
-
Glassey O. One-stop Government Prototype based on Use Cases and Scenarios. In: Traunmüller R., and Lenk K. (Eds). Electronic Government. First International Conference EGOV 2002, Aix-en-Provence, France, September 2-5, 2002 (2002), Springer Verlag, Berlin LNCS 2456
-
(2002)
First International Conference EGOV 2002, Aix-en-Provence, France, September 2-5, 2002
-
-
Glassey, O.1
-
10
-
-
38649084528
-
Comparaison de trois techniques de modélisation de processus: ADONIS, OSSAD et UML
-
IDHEAP, Lausanne
-
Glassey O., and Chappelet J.L. Comparaison de trois techniques de modélisation de processus: ADONIS, OSSAD et UML. Working paper (2002), IDHEAP, Lausanne
-
(2002)
Working paper
-
-
Glassey, O.1
Chappelet, J.L.2
-
14
-
-
0141637020
-
Ein Geschäftsprozessmaganement-Werkzeug der nächsten Generation - ADONIS: Konzeption und Anwendungen
-
Junginger S., Kühn H., Strobl R., and Karagiannis D. Ein Geschäftsprozessmaganement-Werkzeug der nächsten Generation - ADONIS: Konzeption und Anwendungen. Wirtschaftsinformatik 42 5 (2000)
-
(2000)
Wirtschaftsinformatik
, vol.42
, Issue.5
-
-
Junginger, S.1
Kühn, H.2
Strobl, R.3
Karagiannis, D.4
-
15
-
-
0038149024
-
Defining specialization for dataflow diagrams
-
Lee J., and Wyner G.M. Defining specialization for dataflow diagrams. Information Systems 28 (2003)
-
(2003)
Information Systems
, vol.28
-
-
Lee, J.1
Wyner, G.M.2
-
16
-
-
4544311149
-
Business-to-business workflow interoperation based on a process-view
-
Liu D.R., and Shen M. Business-to-business workflow interoperation based on a process-view. Decision Support System 38 (2004) 399-419
-
(2004)
Decision Support System
, vol.38
, pp. 399-419
-
-
Liu, D.R.1
Shen, M.2
-
19
-
-
38649097033
-
-
MML Working Group, MOKA User Guide - MOKA Modelling Language Core Definition (MOKA Project - ESPRIT 25418, Deliverable D1.3, available at: http://web1.eng.coventry.ac.uk/moka/mml.htm, 2000).
-
-
-
-
20
-
-
0346969643
-
Discovering workflow models from activities' lifespans
-
Pinter S.S., and Golani M. Discovering workflow models from activities' lifespans. Computer Industry 53 (2004)
-
(2004)
Computer Industry
, vol.53
-
-
Pinter, S.S.1
Golani, M.2
-
23
-
-
0003540407
-
-
MIT Press, Cambridge, MA
-
Schreiber G., Akkermans H., Anjewierden A., de Hoog R., Shadbolt N., Van de Velde W., and Wielinga B. Knowledge Engineering and Management: The CommonKADS Methodology (2000), MIT Press, Cambridge, MA
-
(2000)
Knowledge Engineering and Management: The CommonKADS Methodology
-
-
Schreiber, G.1
Akkermans, H.2
Anjewierden, A.3
de Hoog, R.4
Shadbolt, N.5
Van de Velde, W.6
Wielinga, B.7
-
24
-
-
33747798627
-
Composite event monitoring in XML repositories using generic rule framework for providing reactive e-services
-
Swamynathan S., Kannana A., and Geethaa T.V. Composite event monitoring in XML repositories using generic rule framework for providing reactive e-services. Decision Support System 42 (2006) 79-88
-
(2006)
Decision Support System
, vol.42
, pp. 79-88
-
-
Swamynathan, S.1
Kannana, A.2
Geethaa, T.V.3
|