product iamge

Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Elena Simperl, Reto Krummenacher, Lyndon Nixon (auth.), Amy L. Murphy, Jan Vitek (eds.)
Series: Lecture Notes in Computer Science 4467
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007

Language: English
Pages: 325
Tags: Software Engineering; Special Purpose and Application-Based Systems; Programming Techniques; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics)

Front Matter....Pages -
A Coordination Model for Triplespace Computing....Pages 1-18
Requirements for Routing in the Application Layer....Pages 19-36
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks....Pages 37-55
A Prolog-Based Language for Workflow Programming....Pages 56-75
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications....Pages 76-95
A Theory for Strong Service Compliance....Pages 96-112
Towards a Theory of Refinement in Timed Coordination Languages....Pages 113-131
A Calculus for Mobile Ad Hoc Networks....Pages 132-150
A Theory of Nested Speculative Execution....Pages 151-170
Actors That Unify Threads and Events....Pages 171-190
Generalized Committed Choice....Pages 191-210
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants....Pages 211-230
Object-Oriented Coordination in Mobile Ad Hoc Networks....Pages 231-248
Coordinating Workflow Allocation and Execution in Mobile Environments....Pages 249-267
Fact Spaces: Coordination in the Face of Disconnection....Pages 268-285
Component Connectors with QoS Guarantees....Pages 286-304
Context-Based Adaptation of Component Behavioural Interfaces....Pages 305-323
Back Matter....Pages -