Central Library

Normal view MARC view ISBD view

Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / edited by Amy L. Murphy, Jan Vitek.

Contributor(s): Murphy, Amy L [editor.] | Vitek, Jan [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 4467Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007.Description: X, 325 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540727941.Subject(s): Compilers (Computer programs) | Computer systems | Software engineering | Computers, Special purpose | Computer programming | Computer science | Compilers and Interpreters | Computer System Implementation | Software Engineering | Special Purpose and Application-Based Systems | Programming Techniques | Theory of ComputationAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.45 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.