Electronic Notes in Theoretical Computer Science, Volume 200

Volume 200, Number 1, February 2008

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS 2007)

Alain Girault, Robert de Simone:
Preface. 1-2
Daniel Gebhardt, Kenneth S. Stevens:
Elastic Flow in an Application Specific Network-on-Chip. 3-15
JunBok You, Yang Xu, Hosuk Han, Kenneth S. Stevens:
Performance Evaluation of Elastic GALS Interfaces and Network Fabric. 17-32
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla:
Dataflow Architectures for GALS. 33-50
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic:
Separate Compilation of Polychronous Specifications. 51-70
Julien Boucaron, Jean-Vivien Millo:
Compositionality of Statically Scheduled IP. 71-87

Proceedings of the First Workshop on Verification of Adaptive Systems (VerAS 2007)

Arnd Poetzsch-Heffter, Klaus Schneider:
Preface. 1
Hermann Simon Lichte, Simon Oberthür:
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management. 3-19
Frank G. Radmacher, Wolfgang Thomas:
A Game Theoretic Approach to the Analysis of Dynamic Networks. 21-37
Ingo Sander, Axel Jantsch:
Modelling Adaptive Systems in ForSyDe. 39-54

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007)

Demis Ballis, Santiago Escobar, Massimo Marchiori:
Preface. 1-2
Joost Visser:
Coupled Transformation of Schemas, Documents, Queries, and Constraints. 3-23
Musab AlTurki, José Meseguer:
Reduction Semantics and Formal Analysis of Orc Programs. 25-41
Faisal Abouzaid, John Mullins:
A Calculus for Generation, Verification and Refinement of BPEL Specifications. 43-65
Jesús Manuel Almendros-Jiménez:
An RDF Query Language based on Logic Programming. 67-85
María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina:
Constructing Formally Verified Reasoners for the ACC Description Logic. 87-102
Sonia Flores, Salvador Lucas, Alicia Villanueva:
Formal Verification of Websites. 103-118
Robin Message, Alan Mycroft:
Controlling Control Flow in Web Applications. 119-131
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Service Discovery and Negotiation With COWS. 133-154
Nawal Guermouche, Olivier Perrin, Christophe Ringeissen:
Timed Specification For Web Services Compatibility Analysis. 155-170
Peter Höfner, Florian Lautenbacher:
Algebraic Structure of Web Services. 171-187