COORD04: List of accepted papers

Tue, 18 Nov 2003 12:34:24 -0800 

[[ -- Apologies for multiple copies of this message  -- ]]

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




***************************************************************

        Emilio Tuosto

        Universita' di Pisa
        Dipartimento di informatica
        Via F. Buonarroti 2,
        56127 Pisa -- Italy

        Tel. +39 050 2212 799
        Fax. +39 050 2212 726

        homepage -> http://www.di.unipi.it/~etuosto

***************************************************************
id Title Authors
7 Evolving Problem Frames: a Case for Coordination Leonor Barroca, Jose Fiadeiro, Michael Jackson, Robin Laney
8 Visual Programming of Agents with Agent Factory Colm Rooney, Rem Collier, Gregory O`Hare
14 On the Expressiveness of Absolute-time Coordination Languages Isabelle Linden, Jean-Marie Jacquet
15 O`Klaim: a coordination language with mobile mixins Lorenzo Bettini, Viviana Bono, Betti Venneri
16 Active Coordination in Ad Hoc Networks Christine Julien, Gruia-Catalin Roman
17 A Component-Based Parallel Constraint Solver Farhad Arbab, Peter Zoeteweij
19 Using Coordination Middleware for Location-Aware Computing: A LIME Case study Amy L. Murphy, Gian Pietro Picco
23 On calculi for contex-aware coordination Pietro Braione, Gian Pietro Picco
24 Social Control Mechanisms to Coordinate an Unreliable Agent Society Hamid Haidarian Shahri, Ahmad Abdolahzadeh Barforush, Mohammad Reza Meybodi
28 From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro
32 Enforcement of Communal Policies for Peer-to-Peer Systems Mihail Ionescu, Naftaly Minsky, Thu Nguyen
43 Measuring component adaptation Antonio Brogi, Carlos Canal, Ernesto Pimentel
51 Probabilistic KLAIM Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
54 Logic Based Coordination for Event-Driven Self-Healing Distributed Systems C. Montangero, L. Semini, S. Semprini
57 CoorSet: A Development Environment for Associatively Coordinated Components Kevin Kane, J. C. Browne
58 A Lightweight Coordination Middleware for Mobile Computing Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann
59 Optimistic Concurrency Semantics for Coordination Languages Suresh Jagannathan, Jan Vitek
65 An Infrastructure for Building Secure Grid Shared Spaces Javier Jaen, Elena Navarro
66 An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions Michael Butler, Carla Ferreira
69 Priorities, Probabilities and Security in theLinda Coordination Model Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro 
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to