1 option
Coordination Models and Languages : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / edited by Jean-Marie Jacquet, Gian Pietro Picco.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Information systems and applications, incl. Internet/Web, and HCI ; SL 3, 3454.
- Information Systems and Applications, incl. Internet/Web, and HCI ; 3454
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer networks.
- Computer programming.
- Computers.
- Artificial intelligence.
- Software Engineering.
- Computer Communication Networks.
- Programming Techniques.
- Computation by Abstract Devices.
- Artificial Intelligence.
- Local Subjects:
- Software Engineering.
- Computer Communication Networks.
- Programming Techniques.
- Computation by Abstract Devices.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (X, 299 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-32006-7
- 9783540320067
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.