History
Year:
-
Type:
Journal
Book
Article
Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 | next | last

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).
WorldCat.org
1
Transactional process views (English)
OTM Conferences (1), 119-136 (2011).
WorldCat.org
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).
WorldCat.org
3
An integer programming based approach for verification and diagnosis of workflows. (English)
Data Knowl. Eng. 69, No. 8, 816-835 (2010).
WorldCat.org
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).
WorldCat.org
5
Specification and verification of harmonized business-process collaborations. (English)
Inf. Syst. Front. 12, No. 4, 457-479 (2010).
WorldCat.org
6
An integer programming based approach for verification and diagnosis of workflows (English)
Data Knowl. Eng. 69, No. 8, 816-835 (2010).
WorldCat.org
7
Business protocol adaptation for flexible chain management (English)
OTM Conferences (1), 438-445 (2010).
WorldCat.org
8
A framework for service outsourcing using process views (English)
EDOC, 99-108 (2010).
WorldCat.org
9
Transforming process models: executable rewrite rules versus a formalized Java program (English)
MoDELS (2), 258-272 (2010).
WorldCat.org
10
Generating minimal protocol adaptors for loosely coupled services (English)
ICWS, 417-424 (2010).
WorldCat.org
11
Composing services into structured processes. (English)
Int. J. Coop. Inf. Syst. 18, No. 2, 309-337 (2009).
WorldCat.org
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).
WorldCat.org
13
Reconciling statechart semantics. (English)
Sci. Comput. Program. 74, No. 3, 65-99 (2009).
WorldCat.org
14
Internet-based support for process-oriented instant virtual enterprises (English)
IEEE Internet Computing 13, No. 6, 65-73 (2009).
WorldCat.org
15
Dynamic business network process management in instant virtual enterprises (English)
Computers in Industry 60, No. 2, 86-103 (2009).
WorldCat.org
16
Constructing minimal protocol adaptors for service composition (English)
WEWST, 29-38 (2009).
WorldCat.org
17
Constructing process views for service outsourcing (English)
SAC, 1615-1616 (2009).
WorldCat.org
18
Agile cooperative process-aware information systems (ProGility 2009): workshop report (English)
WETICE, 219-220 (2009).
WorldCat.org
19
Translating safe Petri nets to statecharts in a structure-preserving way (English)
FM, 239-255 (2009).
WorldCat.org
20
first | previous | 1 21 41 | next | last

Result 1 to 20 from 46 total

Valid XHTML 1.0 Transitional Valid CSS!