


default search action
9. COORDINATION 2007: Paphos, Cyprus
- Amy L. Murphy, Jan Vitek:

Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4467, Springer 2007, ISBN 978-3-540-72793-4
Middleware
- Elena Simperl

, Reto Krummenacher, Lyndon J. B. Nixon
:
A Coordination Model for Triplespace Computing. 1-18 - Pamela Zave:

Requirements for Routing in the Application Layer. 19-36 - Davide Frey, Gruia-Catalin Roman:

Context-Aware Publish Subscribe in Mobile Ad Hoc Networks. 37-55
Logic Programming
- Steve Gregory, Martha Paschali:

A Prolog-Based Language for Workflow Programming. 56-75 - John Field, Maria-Cristina V. Marinescu, Christian Stefansen:

Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. 76-95
Formal Approaches
- Mario Bravetti, Gianluigi Zavattaro:

A Theory for Strong Service Compliance. 96-112 - Jean-Marie Jacquet, Isabelle Linden

:
Towards a Theory of Refinement in Timed Coordination Languages. 113-131 - Jens Chr. Godskesen:

A Calculus for Mobile Ad Hoc Networks. 132-150
Concurrency
- Cristian Tapus, Jason Hickey:

A Theory of Nested Speculative Execution. 151-170 - Philipp Haller, Martin Odersky:

Actors That Unify Threads and Events. 171-190 - Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:

Generalized Committed Choice. 191-210
Components and Services I
- Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel:

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. 211-230
Manet
- Tom Van Cutsem

, Jessie Dedecker, Wolfgang De Meuter:
Object-Oriented Coordination in Mobile Ad Hoc Networks. 231-248 - Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill:

Coordinating Workflow Allocation and Execution in Mobile Environments. 249-267 - Stijn Mostinckx, Christophe Scholliers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter:

Fact Spaces: Coordination in the Face of Disconnection. 268-285
Components and Services II
- Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon:

Component Connectors with QoS Guarantees. 286-304 - Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel

:
Context-Based Adaptation of Component Behavioural Interfaces. 305-323

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














