Result 1 to 20 from 46 total
Transactional process views. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25108-5/pbk). Lecture Notes in Computer Science 7044, 119-136 (2011).
1
Transactional process views (English)
OTM Conferences (1), 119-136 (2011).
2
Business protocol adaptation for flexible chain management. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2010. Confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25‒29, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16933-5/pbk). Lecture Notes in Computer Science 6426, 438-445 (2010).
3
An integer programming based approach for verification and diagnosis of workflows. (English)
Data Knowl. Eng. 69, No. 8, 816-835 (2010).
4
Transforming process models: executable rewrite rules versus a formalized Java program. (English)
Petriu, Dorina C. (ed.) et al., Model driven engineering languages and systems. 13th international conference, MODELS 2010, Oslo, Norway, October 3‒8, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16128-5/pbk). Lecture Notes in Computer Science 6395, 258-272 (2010).
5
Specification and verification of harmonized business-process collaborations. (English)
Inf. Syst. Front. 12, No. 4, 457-479 (2010).
6
An integer programming based approach for verification and diagnosis of workflows (English)
Data Knowl. Eng. 69, No. 8, 816-835 (2010).
7
Business protocol adaptation for flexible chain management (English)
OTM Conferences (1), 438-445 (2010).
8
A framework for service outsourcing using process views (English)
EDOC, 99-108 (2010).
9
Transforming process models: executable rewrite rules versus a formalized Java program (English)
MoDELS (2), 258-272 (2010).
10
Generating minimal protocol adaptors for loosely coupled services (English)
ICWS, 417-424 (2010).
11
Composing services into structured processes. (English)
Int. J. Coop. Inf. Syst. 18, No. 2, 309-337 (2009).
12
Translating safe Petri nets to statecharts in a structure-preserving way. (English)
Cavalcanti, Ana (ed.) et al., FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2‒6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-05088-6/pbk). Lecture Notes in Computer Science 5850, 239-255 (2009).
13
Reconciling statechart semantics. (English)
Sci. Comput. Program. 74, No. 3, 65-99 (2009).
14
Internet-based support for process-oriented instant virtual enterprises (English)
IEEE Internet Computing 13, No. 6, 65-73 (2009).
15
Dynamic business network process management in instant virtual enterprises (English)
Computers in Industry 60, No. 2, 86-103 (2009).
16
Constructing minimal protocol adaptors for service composition (English)
WEWST, 29-38 (2009).
17
Constructing process views for service outsourcing (English)
SAC, 1615-1616 (2009).
18
Agile cooperative process-aware information systems (ProGility 2009): workshop report (English)
WETICE, 219-220 (2009).
19
Translating safe Petri nets to statecharts in a structure-preserving way (English)
FM, 239-255 (2009).
20
Result 1 to 20 from 46 total
Start
Contact
Print
General Help
