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