Amy L. Murphy (Volume ed.) / Jan Vitek

Coordination Models and Languages

9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Herausgegeben:Murphy, Amy L.; Vitek, Jan

• Broschiertes Buch

Produktdetails

• Lecture Notes in Computer Science 4467
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-72793-4
• Seitenzahl: 325
• Englisch
• Abmessung: 18mm x 155mm x 235mm
• Gewicht: 481g
• ISBN-13: 9783540727934
• ISBN-10: 3540727930
• Artikelnr.: 22917175

Autorenporträt

Amy L. Murphy, FBK-IRST-SRA, Povo, Italy / Jan Vitek, Purdue University, West Lafayette, IN, USA

Inhaltsangabe

Session 1. Middleware.- A Coordination Model for Triplespace Computing.- Requirements for Routing in the Application Layer.- Context-Aware Publish Subscribe in Mobile Ad Hoc Networks.- Session 2. Logic Programming.- A Prolog-Based Language for Workflow Programming.- Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications.- Session 3. Formal Approaches.- A Theory for Strong Service Compliance.- Towards a Theory of Refinement in Timed Coordination Languages.- A Calculus for Mobile Ad Hoc Networks.- Session 4. Concurrency.- A Theory of Nested Speculative Execution.- Actors That Unify Threads and Events.- Generalized Committed Choice.- Session 5. Components and Services I.- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.- Session 6. Manet.- Object-Oriented Coordination in Mobile Ad Hoc Networks.- Coordinating Workflow Allocation and Execution in Mobile Environments.- Fact Spaces: Coordination in the Face of Disconnection.- Session 7. Components and Services II.- Component Connectors with QoS Guarantees.- Context-Based Adaptation of Component Behavioural Interfaces.