Volume 157, Number 1, 16 May 2006
Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005)
: A Semiring-based Quantitative Analysis of Mobile Systems.
, Jinzhao Wu
: Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic.
Volume 157, Number 2, 22 May 2006
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005)
: A Data Model to Facilitate the Automation of Web Accessibility Evaluations.
: Rewriting-Based Navigation of Web Sites: Looking for Models and Logics.
, Patrice Chalin
: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study.
Volume 157, Number 3, 25 May 2006
Proceedings of the First International Workshop on Security and Trust Management (STM 2005)
Volume 157, Number 4, 28 May 2006
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005)