Coordination Languages and Models
Editat de Antonio Porto, Gruia-Catalin Romanen Limba Engleză Paperback – 28 aug 2000
Preț: 325.63 lei
Preț vechi: 407.04 lei
-20%
Puncte Express: 488
Preț estimativ în valută:
57.59€ • 66.27$ • 49.73£
57.59€ • 66.27$ • 49.73£
Carte tipărită la comandă
Livrare economică 30 aprilie-14 mai
Specificații
ISBN-13: 9783540410201
ISBN-10: 3540410201
Pagini: 368
Ilustrații: IX, 355 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.56 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540410201
Pagini: 368
Ilustrații: IX, 355 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.56 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Regular Papers.- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces.- Scripting Coordination Styles.- Coordination Technology for Workflows on the Web: Workspaces.- Regular Papers.- A Principled Semantics for inp.- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.- On Timed Coordination Languages.- Regular Papers.- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach.- Distributed Splitting of Constraint Satisfaction Problems.- Law-Governed Internet Communities.- Regular Papers.- Reconfiguration of Software Architecture Styles with Name Mobility.- An Agent Mediated Approach to Dynamic Change in Coordination Policies.- Coordination Models for Dynamic Resource Allocation.- Regular Papers.- MobileML: A Programming Language for Mobile Computation.- Hybrid Models for Mobile Computing.- Mobile Agents Coordination in Mobadtl.- Regular Papers.- A Logical Interface Description Language for Components.- A Formalization of the IWIM Model.- GCCS: A Graphical Coordination Language for System Specification.- Short papers.- A Timed Linda Language.- The LuCe Coordination Technology for MAS Design and Development on the Internet.- Scoped Coordination in Open Distributed Systems.- Short papers.- Patterns for Coordination.- Coordination Models and Software Architectures in a Unified Software Development Process.- Wilde: Supporting Change in Groupware.- Short papers.- On the Verification of Coordination.- Guaranteing Coherent Software Systems when Composing Coordinated Components.- Coordination-Based Design of Distributed Systems.
Caracteristici
Includes supplementary material: sn.pub/extras