Volume 150,
Number 1,
9 March 2006
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent,
Distributed and Mobile Systems (MTCoord 2005)
- Lubos Brim, Isabelle Linden:
Preface.
1-2
- Axel Legay, Pierre Wolper:
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address.
3-8
- Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
Roles as a Coordination Construct: Introducing powerJava.
9-29
- Denys Duchier, Céline Kuttler:
Biomolecular Agents as Multi-behavioural Concurrent Objects.
31-49
- Volker Gruhn, Clemens Schäfer:
Architecture Description for Mobile Distributed Systems Using Typed pi-Calculus.
51-60
- Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther:
Distributed Reactive XML.
61-80
- Luc Hogie, Pascal Bouvry, Frédéric Guinand:
An Overview of MANETs Simulation.
81-101
- Fernando Rosa Velardo, Olga Marroquín Alonso, David de Frutos-Escrig:
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.
103-126
- A. W. Stam, Luuk Groenewegen, Erik P. de Vink:
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study.
127-142
- Carolyn L. Talcott:
Coordination Models Based on a Formal Model of Distributed Object Reflection.
143-157
Volume 150,
Number 2,
23 March 2006
Proceedings of the International Workshop on Database Interoperability (InterDB 2005)
- Philippe Thiran, Tore Risch, Djamal Benslimane:
Preface.
1-2
- James J. Lu:
A Data Model for Data Integration.
3-19
- Nicolas Lumineau, Anne Doucet, Stéphane Gançarski:
Thematic Schema Building for Mediation-based Peer-to-Peer Architecture.
21-36
- George H. L. Fletcher, Catharine M. Wyss, Edward L. Robertson, Dirk Van Gucht:
A Calculus for Data Mapping.
37-54
- Thomas Kabisch, Mattis Neiling:
Wrapping of Web Sources with restricted Query Interfaces by Query Tunneling.
55-70
- Catarina Ferreira Da Silva, Lionel Médini, Samer Abdul Ghafour, Patrick Hoffmann, Parisa Ghodous, Celson Lima:
Semantic Interoperability of Heterogeneous Semantic Resources.
71-85
- Rubén Tous, Jaime Delgado:
Contorsion: A Semantic XPath Processor.
87-102
Volume 150,
Number 3,
29 May 2006
Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005)
- Guido Boella, Leendert W. N. van der Torre:
Preface.
1-2
- Guido Boella, Leendert W. N. van der Torre:
Coordination and Organization: Definitions, Examples and Future Research Directions.
3-20
- Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Agens Faber: Toward a Theory of Artefacts for MAS.
21-36
- Alan W. Colman, Jun Han:
Using Association Aspects to Implement Organisational Contracts.
37-53
- Estefania Argente, Vicente Julián, Vicente J. Botti:
Multi-Agent System Development Based on Organizations.
55-71
- Cosmin Carabelea, Olivier Boissier:
Coordinating Agents in Organizations Using Social Commitments.
73-91
- Luuk Groenewegen, A. W. Stam, Pieter J. Toussaint, Erik P. de Vink:
Paradigm as Organization-Oriented Coordination Language.
93-113
Copyright © Mon Mar 15 04:00:57 2010
by Michael Ley (ley@uni-trier.de)
