Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, Septemb | Coordination 2000 (2000 : Limassol, Cyprus), Porto, A. (António), 1952-, Roman, Gruia-Catalin, 1951-
Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, Septemb
Author: Coordination 2000 (2000 : Limassol, Cyprus), Porto, A. (António), 1952-, Roman, Gruia-Catalin, 1951-
Added by: sketch
Added Date: 2015-12-30
Publication Date: 2000
Language: eng
Subjects: Parallel processing (Electronic computers), Electronic data processing
Publishers: Berlin ; New York : Springer
Collections: journals contributions, journals
ISBN Number: 3540410201
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 178.14 MB
PDF Size: 3.89 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 828
Views: 878
Total Files: 18
Media Type: texts
Description
Author: António Porto, Gruia-Catalin Roman
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41020-1
DOI: 10.1007/3-540-45263-X
Table of Contents:
- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
- Scripting Coordination Styles
- Coordination Technology for Workflows on the Web: Workspaces
- A Principled Semantics for inp
- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
- On Timed Coordination Languages
- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
- Distributed Splitting of Constraint Satisfaction Problems
- Law-Governed Internet Communities
- Reconfiguration of Software Architecture Styles with Name Mobility
- An Agent Mediated Approach to Dynamic Change in Coordination Policies
- Coordination Models for Dynamic Resource Allocation
- MobileML: A Programming Language for Mobile Computation
- Hybrid Models for Mobile Computing
- Mobile Agents Coordination in Mobadtl
- A Logical Interface Description Language for Components
- A Formalization of the IWIM Model
- GCCS: A Graphical Coordination Language for System Specification
- A Timed Linda Language
- The LuCe Coordination Technology for MAS Design and Development on the Internet