COORD 04: List of accepted papers

Emilio Tuosto <>
21 Nov 2003 00:54:34 -0500

          From comp.compilers

Related articles
COORD 04: List of accepted papers (Emilio Tuosto) (2003-11-21)
| List of all articles for this month |

From: Emilio Tuosto <>
Newsgroups: comp.compilers
Date: 21 Nov 2003 00:54:34 -0500
Organization: Compilers Central
Keywords: conference
Posted-Date: 21 Nov 2003 00:54:34 EST

Please, find below the list of accepted papers to COORDINATION 2004.


1 Evolving Problem Frames: a Case for Coordination
Leonor Barroca, Jose Fiadeiro, Michael Jackson, Robin Laney

2 Visual Programming of Agents with Agent Factory
Colm Rooney, Rem Collier, Gregory O`Hare

3 On the Expressiveness of Absolute-time Coordination Languages
Isabelle Linden, Jean-Marie Jacquet

4 O`Klaim: a coordination language with mobile mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri

5 Active Coordination in Ad Hoc Networks
Christine Julien, Gruia-Catalin Roman

6 A Component-Based Parallel Constraint Solver
Farhad Arbab, Peter Zoeteweij

7 Using Coordination Middleware for Location-Aware Computing: A LIME Case
Amy L. Murphy, Gian Pietro Picco

8 On calculi for contex-aware coordination
Pietro Braione, Gian Pietro Picco

9 Social Control Mechanisms to Coordinate an Unreliable Agent Society
Hamid Haidarian Shahri, Ahmad Abdolahzadeh Barforush, Mohammad Reza Meybodi

10 From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming
Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro

11 Enforcement of Communal Policies for Peer-to-Peer Systems
Mihail Ionescu, Naftaly Minsky, Thu Nguyen

12 Measuring component adaptation
Antonio Brogi, Carlos Canal, Ernesto Pimentel

13 Probabilistic KLAIM
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

14 Logic Based Coordination for Event-Driven Self-Healing Distributed Systems
C. Montangero, L. Semini, S. Semprini

15 CoorSet: A Development Environment for Associatively Coordinated Components
Kevin Kane, J. C. Browne

16 A Lightweight Coordination Middleware for Mobile Computing
Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann

17 Optimistic Concurrency Semantics for Coordination Languages
Suresh Jagannathan, Jan Vitek

18 An Infrastructure for Building Secure Grid Shared Spaces
Javier Jaen, Elena Navarro

19 An Operational Semantics for StAC, a Language for Modelling Long-running
Business Transactions
Michael Butler, Carla Ferreira

20 Priorities, Probabilities and Security in theLinda Coordination Model
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.