Cantitate/Preț
Produs

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings: Lecture Notes in Computer Science, cartea 4038

Editat de Paolo Ciancarini, Herbert Wiklicky
en Limba Engleză Paperback – 9 iun 2006
This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 29671 lei

Preț vechi: 37088 lei
-20%

Puncte Express: 445

Preț estimativ în valută:
5685 6158$ 4875£

Carte tipărită la comandă

Livrare economică 06-13 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540346944
ISBN-10: 3540346945
Pagini: 312
Ilustrații: VIII, 299 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in Service Oriented Computing.- Synthesizing Concurrency Control Components from Process Algebraic Specifications.- Automated Evaluation of Coordination Approaches.- Choreography and Orchestration Conformance for System Design.- Workflow Patterns in Orc.- Evolution On-the-Fly with Paradigm.- Formalising Business Process Execution with Bigraphs and Reactive XML.- Enabling Ubiquitous Coordination Using Application Sessions.- A WSDL-Based Type System for WS-BPEL.- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.- A Logical View of Choreography.- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.- Coordinating Computation with Communication.- Distributed Workflow upon Linkable Coordination Artifacts.- Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems.- Tuple Space Coordination Across Space and Time.- Compositional Semantics of an Actor-Based Language Using Constraint Automata.

Caracteristici

Proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006
Presents 17 revised full papers
Topics addressed include component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML and more