Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings > Checking Workflow Schemas with Time Constraints Using Timed Automata
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings |
Zahir Tari
Springer Berlin Heidelberg
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings
Checking Workflow Schemas with Time Constraints Using Timed Automata
Authors

Elisabetta De Maria; Angelo Montanari; Marco Zantoni

ARI Id

1664712852554_2867753

Access

Not Available Free

Pages

1-2

DOI

10.1007/11575863_1

Chapter URL

https://rd.springer.com/chapter/10.1007/11575863_1

Table of Contents of Book
Showing 1 to 20 of 147 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Checking Workflow Schemas with Time Constraints Using Timed Automata
Elisabetta De Maria; Angelo Montanari; Marco Zantoni
1-2
Cooperation Between Utility IT Systems: Making Data and Applications Work Together
Claus Vetter; Thomas Werner
3-4
Adapting Rigidly Specified Workflow in the Absence of Detailed Ontology
Gregory Craske; Caspar Ryan
5-6
Modelling and Streaming Spatiotemporal Audio Data
Thomas Heimrich; Katrin Reichelt; Hendrik Rusch; Kai-Uwe Sattler; Thomas Schröder
7-8
Enhancing Project Management for Periodic Data Production Management
Anja Schanzenberger; Dave R. Lawrence; Thomas Kirsche
9-11
Cooperating Services in a Mobile Tourist Information System
Annika Hinze; George Buchanan
12-13
Flexible and Maintainable Contents Activities in Ubiquitous Environment
Kazutaka Matsuzaki; Nobukazu Yoshioka; Shinichi Honiden
14-15
Using Model-Driven and Aspect-Oriented Development to Support End-User Quality of Service
David Durand; Christophe Logé
16-17
A Generic Approach to Dependability in Overlay Networks
Barry Porter; Geoff Coulson
18-19
An XML-Based Cross-Language Framework
Arno Puder
20-21
Software Design of Electronic Interlocking System Based on Real-Time Object-Oriented Modeling Technique
Jong-Sun Kim; Ji-Yoon Yoo; Hack-Youp Noh
22-23
Ontology Based Negotiation Case Search System for the Resolution of Exceptions in Collaborative Production Planning
Chang Ouk Kim; Young Ho Cho; Jung Uk Yoon; Choon Jong Kwak; Yoon Ho Seo
24-25
Enhanced Workflow Models as a Tool for Judicial Practitioners
Jörn Freiheit; Susanne Münch; Hendrik Schöttle; Grozdana Sijanski; Fabrice Zangl
26-27
Semantics of Information Systems Outsourcing
H. Balsters; G. B. Huitema
28-29
Integration of Heterogeneous Knowledge Sources in the CALO Query Manager
José Luis Ambite; Vinay K. Chaudhri; Richard Fikes; Jessica Jenkins; Sunil Mishra; Maria Muslea et al.
30-32
Context Knowledge Discovery in Ubiquitous Computing
Kim Anh Pham Ngoc; Young-Koo Lee; Sung-Young Lee
33-34
Ontology-Based Integration for Relational Data
Dejing Dou; Paea LePendu
35-36
AWeSOMe 2005 PC Co-chairs’ Message
Pilar Herrero; Gonzalo Méndez; Lawrence Cavedon; David Martin
37-38
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
Jingtao Yang; Corina Cîrstea; Peter Henderson
39-48
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 147 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings