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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Murphy, Amy L. (Editor ), Vitek, Jan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Programming and Software Engineering, 4467
Temas:
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 Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares