Coordination Models and Languages
Editat de Farhad Arbab, Carolyn Talcotten Limba Engleză Paperback – 27 mar 2002
Preț: 327.49 lei
Preț vechi: 409.37 lei
-20% Nou
Puncte Express: 491
Preț estimativ în valută:
57.94€ • 67.50$ • 50.60£
57.94€ • 67.50$ • 50.60£
Carte tipărită la comandă
Livrare economică 19 ianuarie-02 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540434108
ISBN-10: 3540434100
Pagini: 424
Ilustrații: XII, 412 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.64 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540434100
Pagini: 424
Ilustrații: XII, 412 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.64 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Presentations.- Playing Games with Software Design.- Coordination and System Design in a Network-Centric Age.- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.- Accepted Papers.- Coordination for Orchestration.- Concurrent Semantics for the Web Services Specification Language DAML-S.- Coordination through Channel Composition.- Exogenous and Endogenous Extensions of Architectural Types.- Coordinating Mobile Object-Oriented Code.- Formalizing Properties of Mobile Agent Systems.- Dynamically Adapting the Behaviour of Software Components.- An Associative Broadcast Based Coordination Model for Distributed Processes.- State—and Event-Based Reactive Programming in Shared Dataspaces.- Integrating Two Organizational Systems through Communication Genres.- OpenCoLaS a Coordination Framework for CoLaS Dialects.- Coordination in a Reflective Architecture Description Language.- Coordinating Software Evolution via Two-Tier Programming.- Criteria for the Analysis of Coordination in Multi-agent Applications.- Towards a Colimit-Based Semantics for Visual Programming.- The Cost of Communication Protocols and Coordination Languages in Embedded Systems.- Operational Semantics for Coordination in Paradigm.- Service Provision in Ad Hoc Networks.- PN2: An Elementary Model for Design and Analysis of Multi-agent Systems.- A Recovery Technique Using Multi-agent in Distributed Computing Systems.- An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions.- Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility.- Formal Specification of JavaSpaces™ Architecture Using ?CRL.- Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study.- Scheduling under Uncertainty: Planning forthe Ubiquitous Grid.- Using Logical Operators as an Extended Coordination Mechanism in Linda.- A Framework for Coordinating Parallel Branch and Bound Algorithms.- Policies for Cooperative Virtual Teams.- The Spacetub Models and Framework.- Tuple-Based Models in the Observation Framework.- Extending the Matching Facilities of Linda.- Semantics of Protocol Modules Composition and Interaction.
Caracteristici
Includes supplementary material: sn.pub/extras