Coordination Models and Languages
Editat de Farhad Arbab, Carolyn Talcotten Limba Engleză Paperback – 27 mar 2002
Preț: 328.76 lei
Preț vechi: 410.96 lei
-20%
Puncte Express: 493
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.