03038nam 2200541 a 450 991048481100332120200520144314.010.1007/b135676(CKB)1000000000212915(SSID)ssj0000317031(PQKBManifestationID)11240579(PQKBTitleCode)TC0000317031(PQKBWorkID)10287731(PQKB)11701247(DE-He213)978-3-540-32006-7(MiAaPQ)EBC3067753(PPN)123093953(EXLCZ)99100000000021291520050304d2005 uy 0engurnn|008mamaatxtccrCoordination models and languages 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 ; proceedings /Jean-Marie Jacquet, Gian Pietro Picco (eds.)1st ed. 2005.Berlin Springer20051 online resource (X, 299 p.) Lecture notes in computer science,0302-9743 ;3454Internat. conference proceedings.Printed edition: 9783540256304 Includes bibliographical references and index.A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space -- Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach -- Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision -- Global Computing in a Dynamic Network of Tuple Spaces -- Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems -- Preserving Architectural Properties in Multithreaded Code Generation -- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages -- Synchronized Hyperedge Replacement for Heterogeneous Systems -- Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications -- Tagged Sets: A Secure and Transparent Coordination Medium -- Time-Aware Coordination in ReSpecT -- Transactional Aspects in Semantic Based Discovery of Services.Lecture notes in computer science ;3454.COORDINATION 2005Parallel processing (Electronic computers)CongressesParallel processing (Electronic computers)004/.35Jacquet J.-M(Jean-Marie)1220864Picco Gian Pietro1752929COORDINATION 2005MiAaPQMiAaPQMiAaPQBOOK9910484811003321Coordination models and languages4188434UNINA