COORD04: List of accepted papers

[Emilio Tuosto]

[[ -- 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