05638nam 22008535 450 991076846350332120200629172531.01-280-30799-497866103079993-540-24634-710.1007/b95570(CKB)1000000000212309(DE-He213)978-3-540-24634-3(SSID)ssj0000130477(PQKBManifestationID)11129142(PQKBTitleCode)TC0000130477(PQKBWorkID)10082601(PQKB)10429612(MiAaPQ)EBC3088617(PPN)15520937X(EXLCZ)99100000000021230920121227d2004 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierCoordination Models and Languages 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings /edited by Rocco De Nicola, Gianluigi Ferrari, Greg Meredith1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (X, 330 p.) Lecture Notes in Computer Science,0302-9743 ;2949Bibliographic Level Mode of Issuance: Monograph3-540-21044-X Includes bibliographical references at the end of each chapters and index.Invited Talks -- A Reactive Programming Model for Global Computing -- Open Issues and Opportunities in Web Services Modeling, Development, and Management -- Compositionality, Coordination and Software Architecture -- Contributed Papers -- Problem Frames: A Case for Coordination -- O’Klaim: A Coordination Language with Mobile Mixins -- On Calculi for Context-Aware Coordination -- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model -- Measuring Component Adaptation -- An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions -- From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming -- Probabilistic KLAIM -- A Lightweight Coordination Middleware for Mobile Computing -- Enforcement of Communal Policies for P2P Systems -- An Infrastructure to Build Secure Shared Grid Spaces -- Optimistic Concurrency Semantics for Transactions in Coordination Languages -- Active Coordination in Ad Hoc Networks -- CoorSet: A Development Environment for Associatively Coordinated Components -- On the Expressiveness of Absolute-Time Coordination Languages -- Logic Based Coordination for Event–Driven Self–healing Distributed Systems -- Using Coordination Middleware for Location-Aware Computing: A Lime Case Study -- VIPER: A VIsual Protocol EditoR -- Social Control Mechanisms to Coordinate an Unreliable Agent Society -- A Component-Based Parallel Constraint Solver.This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.Lecture Notes in Computer Science,0302-9743 ;2949Architecture, ComputerProgramming languages (Electronic computers)Computer programmingComputer communication systemsSoftware engineeringComputersComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Architecture, Computer.Programming languages (Electronic computers).Computer programming.Computer communication systems.Software engineering.Computers.Computer System Implementation.Programming Languages, Compilers, Interpreters.Programming Techniques.Computer Communication Networks.Software Engineering.Computation by Abstract Devices.004.35De Nicola Roccoedthttp://id.loc.gov/vocabulary/relators/edtFerrari Gianluigiedthttp://id.loc.gov/vocabulary/relators/edtMeredith Gregedthttp://id.loc.gov/vocabulary/relators/edtCoordination 2004MiAaPQMiAaPQMiAaPQBOOK9910768463503321Coordination Models and Languages772324UNINA