04194nam 22007095 450 99646580230331620200704023249.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)99100000000021291520100709d2005 u| 0engurnn|008mamaatxtccrCoordination Models and Languages[electronic resource] 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /edited by Jean-Marie Jacquet, Gian Pietro Picco1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 299 p.) Information Systems and Applications, incl. Internet/Web, and HCI ;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.Information Systems and Applications, incl. Internet/Web, and HCI ;3454Software engineeringComputer communication systemsComputer programmingComputersArtificial intelligenceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software engineering.Computer communication systems.Computer programming.Computers.Artificial intelligence.Software Engineering.Computer Communication Networks.Programming Techniques.Computation by Abstract Devices.Artificial Intelligence.004/.35Jacquet Jean-Marieedthttp://id.loc.gov/vocabulary/relators/edtPicco Gian Pietroedthttp://id.loc.gov/vocabulary/relators/edtCOORDINATION 2005BOOK996465802303316Coordination Models and Languages772324UNISA