Coordination 2004

List of Accepted Papers

  1. Evolving Problem Frames: a Case for Coordination,
    Leonor Barroca, Jose Fiadeiro, Michael Jackson, Robin Laney, Bashar Nuseibeh
  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 study,
    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