TY  - BOOK
AU  - Jacquet,J.-M.
AU  - Picco,Gian Pietro
ED  - COORDINATION (Conference)
TI  - Coordination models and languages: 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings 
T2  - Lecture notes in computer science,
SN  - 9783540320067
AV  - QA76.58 .C695 2005eb
U1  - 004/.35 22
PY  - 2005///
CY  - Berlin, New York
PB  - Springer
KW  - Parallel processing (Electronic computers)
KW  - Congresses
KW  - Electronic data processing
KW  - Distributed processing
KW  - Parallélisme (Informatique)
KW  - Congrès
KW  - Traitement réparti
KW  - COMPUTERS
KW  - Systems Architecture
KW  - Distributed Systems & Computing
KW  - bisacsh
KW  - cct
KW  - Informatique
KW  - eclas
KW  - fast
KW  - Komponente
KW  - Software
KW  - gnd
KW  - Koordinationssprache
KW  - Softwarearchitektur
KW  - Verteiltes System
KW  - Informatique répartie
KW  - rasuqam
KW  - Langage de programmation parallèle
KW  - Namur (2005)
KW  - swd
KW  - programmeren
KW  - programming
KW  - computerwetenschappen
KW  - computer sciences
KW  - kunstmatige intelligentie
KW  - artificial intelligence
KW  - computational science
KW  - computernetwerken
KW  - computer networks
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
KW  - Kongress
N1  - 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; University staff and students only. Requires University Computer Account login off-campus
UR  - https://link.springer.com/10.1007/b135676
ER  -