Coordination Languages and Models
Editat de Antonio Porto, Gruia-Catalin Romanen Limba Engleză Paperback – 28 aug 2000
Preț: 325.88 lei
Preț vechi: 407.36 lei
-20%
Puncte Express: 489
Carte tipărită la comandă
Livrare economică 08-22 iulie
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: 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.