My Account Log in

1 option

Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings / edited by Rocco De Nicola, Gianluigi Ferrari, Greg Meredith.

LIBRA Q341 .P7 2004
Loading location information...

Available from offsite location This item is stored in our repository but can be checked out.

Log in to request item
Format:
Book
Contributor:
De Nicola, Rocco, editor.
Ferrari, Gianluigi, editor.
Meredith, Greg, editor.
SpringerLink (Online service)
Series:
Computer Science (Springer-11645)
Lecture notes in computer science 0302-9743 ; 2949.
Lecture Notes in Computer Science, 0302-9743 ; 2949
Language:
English
Subjects (All):
Computer architecture.
Programming languages (Electronic computers).
Computer programming.
Computer networks.
Software engineering.
Computers.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Computer Communication Networks.
Software Engineering.
Computation by Abstract Devices.
Local Subjects:
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Computer Communication Networks.
Software Engineering.
Computation by Abstract Devices.
Physical Description:
1 online resource (X, 330 pages).
Edition:
First edition 2004.
Contained In:
Springer eBooks
Place of Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
System Details:
text file PDF
Summary:
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.
Contents:
Invited Talks
A Reactive Programming Model for Global Computing
Open Issues and Opportunities in Web Services Modeling, Development, and Management
Compositionality, Coordination and Software Architecture
Contributed Papers
Problem Frames: A Case for Coordination
O'Klaim: A Coordination Language with Mobile Mixins
On Calculi for Context-Aware Coordination
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
Measuring Component Adaptation
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming
Probabilistic KLAIM
A Lightweight Coordination Middleware for Mobile Computing
Enforcement of Communal Policies for P2P Systems
An Infrastructure to Build Secure Shared Grid Spaces
Optimistic Concurrency Semantics for Transactions in Coordination Languages
Active Coordination in Ad Hoc Networks
CoorSet: A Development Environment for Associatively Coordinated Components
On the Expressiveness of Absolute-Time Coordination Languages
Logic Based Coordination for Event-Driven Self-healing Distributed Systems
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study
VIPER: A VIsual Protocol EditoR
Social Control Mechanisms to Coordinate an Unreliable Agent Society
A Component-Based Parallel Constraint Solver.
Other Format:
Printed edition:
ISBN:
978-3-540-24634-3
9783540246343
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.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account