Volume 235,
April 2009
 Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems (WWV 2008),
Siena,
Italy,
4 July 2008 
- Demis Ballis, Santiago Escobar:
Preface.
1-2
Electronic Edition (link) BibTeX
 - María Alpuente, Daniel Romero:
A Visual Technique for Web Pages Comparison.
3-18
Electronic Edition (link) BibTeX
 - Michele Baggi:
An Ontology-based System for Semantic Filtering of XML Data.
19-33
Electronic Edition (link) BibTeX
 - Steve Barker, Gill Lowen:
Event-oriented Web-based E-trading.
35-53
Electronic Edition (link) BibTeX
 - Ali Nasrat Haidar, Ali E. Abdallah:
Formal Modelling of PKI Based Authentication.
55-70
Electronic Edition (link) BibTeX
 - Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
71-105
Electronic Edition (link) BibTeX
 - I. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed:
Bridging the Web Accessibility Divide.
107-124
Electronic Edition (link) BibTeX
 - Josep Silva:
Information Filtering and Information Retrieval with the Web Filtering Toolbar.
125-136
Electronic Edition (link) BibTeX
 - Paolo Mancarella, Giacomo Terreni, Francesca Toni:
Web Sites Repairing through Abduction.
137-152
Electronic Edition (link) BibTeX
 
Copyright © Sat May 16 23:58:30 2009
 by Michael Ley (ley@uni-trier.de)