Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jacquet, Jean-Marie (Editor), Picco, Gian Pietro (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
• Series: Lecture Notes in Computer Science, 3454
• Subjects: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Computers.; Artificial intelligence.; Computer Science.; Software Engineering.; Computer Communication Networks.; Programming Techniques.; Computation by Abstract Devices.; Artificial Intelligence (incl. Robotics).

Table of Contents:

• 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.