COORD 04: List of accepted papers

Emilio Tuosto <etuosto@di.unipi.it>
21 Nov 2003 00:54:34 -0500

          From comp.compilers
Related articles
COORD 04: List of accepted papers etuosto@di.unipi.it (Emilio Tuosto) (2003-11-21)
| List of all articles for this month |
From: Emilio Tuosto <etuosto@di.unipi.it>
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.






COORDINATION 2004: LIST OF ACCEPTED PAPER




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


Post a followup to this message

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