Volume 157, Number 1, 16 May 2006

Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005)

• 
  Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. 1
• 
  Benjamin Aziz: A Semiring-based Quantitative Analysis of Mobile Systems. 3-21
• 
  Donghuo Chen, Jinzhao Wu: Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. 23-38
• 
  Arend Rensink, Dino Distefano: Abstract Graph Transformation. 39-59
• 
  Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro: WAVer: A Model Checking-based Tool to Verify Web Application Design. 61-76
• 
  Murray Stokely, Sagar Chaki, Joël Ouaknine: Parallel Assignments in Software Model Checking. 77-94
• 
  Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li: A Z Approach in Validating ORA-SS Data Models. 95-109

Volume 157, Number 2, 22 May 2006

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005)

• 
  María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. 1-2
• 
  Shadi Abou-Zahra: A Data Model to Facilitate the Automation of Web Accessibility Evaluations. 3-9
• 
  Demis Ballis, Javier García-Vivó: A Rule-based System for Web site Verification. 11-17
• 
  Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Verification of Web Services with Timed Automata. 19-34
• 
  Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana: Web Categorisation Using Distance-Based Decision Trees. 35-40
• 
  Shriram Krishnamurthi: Web Verification: Perspective and Challenges. 41-46
• 
  Temur Kutsia: Context Sequence Matching for XML. 47-65
• 
  Luigi Liquori, Furio Honsell, Rekha Redamalla: A Language for Verification and Manipulation of Web Documents: (Extended Abstract). 67-78
• 
  Salvador Lucas: Rewriting-Based Navigation of Web Sites: Looking for Models and Logics. 79-85
• 
  Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez: Web Accessibility Evaluation Tools: A Survey and Some Improvements. 87-100
• 
  Martin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. 101-118
• 
  Frédéric Rioux, Patrice Chalin: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. 119-132
• 
  Claude Kirchner, Hélène Kirchner, Anderson Santana: Anchoring Modularity in HTML. 133-146
• 
  Bo Hu, Florian Lauck, Jan Scheffczyk: How Recent is a Web Document? 147-166
• 
  Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini: Modeling Web Applications by the Multiple Levels of Integrity Policy. 167-185
• 
  Josep Silva: Slicing XML Documents. 187-192
• 
  R. G. Stone: Validating Scripted Web-Pages. 193-205
• 
  Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc: What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? 207-211

Volume 157, Number 3, 25 May 2006

Proceedings of the First International Workshop on Security and Trust Management (STM 2005)

• 
  Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers: Preface. 1-2
• 
  Dieter Gollmann: Why Trust is Bad for Security. 3-9
• 
  Daniel Cvrcek, Petr Svenda: Smart Dust Security - Key Infection Revisited. 11-25
• 
  Simona Orzan, Erik P. de Vink: Multiparty Contract Signing Over a Reliable Network. 27-41
• 
  J. Todd McDonald, Alec Yasinsac: Application Security Models for Mobile Agent Systems. 43-59
• 
  Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: A Formalization of Credit and Responsibility Within the GNDC Schema. 61-78
• 
  Katja Schmidt-Samoa: A New Rabin-type Trapdoor Permutation Equivalent to Factoring. 79-94
• 
  Elizabeth Gray, Christian Damsgaard Jensen, Paul O'Connell, Stefan Weber, Jean-Marc Seigneur, Yong Chen: Trust Evolution Policies for Security in Collaborative Ad Hoc Applications. 95-111
• 
  Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog: Nonmonotonic Trust Management for P2P Applications. 113-130
• 
  Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati, Marco Viviani: A WOWA-based Aggregation Technique on Trust Values Connected to Metadata. 131-142
• 
  Thomas B. Quillinan, Simon N. Foley: Synchronisation in Trust Management Using Push Authorisation. 143-158

Volume 157, Number 4, 28 May 2006

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005)

• 
  Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. 1-2
• 
  Laura Giordano, Alberto Martelli, Camilla Schwind: Specialization of Interaction Protocols in a Temporal Action Logic. 3-22
• 
  Jan Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. 23-35
• 
  Alexandru Baltag, Mehrnoosh Sadrzadeh: The Algebra of Multi-Agent Dynamic Belief Revision. 37-56
• 
  Gemma Bel Enguix, Maria Dolores Jiménez-López: Computing Dialogues with Membranes. 57-73
• 
  Mario Verdicchio, Marco Colombetti: From Message Exchanges to Communicative Acts to Commitments. 75-94
• 
  Matthias Nickles, Felix A. Fischer, Gerhard Weiß: Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions. 95-115
• 
  Benoit Gaudou, Andreas Herzig, Dominique Longin: A Logical Framework for Grounding-based Dialogue Analysis. 117-137