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
- María Alpuente, Daniel Romero:
A Visual Technique for Web Pages Comparison.
3-18
- Michele Baggi:
An Ontology-based System for Semantic Filtering of XML Data.
19-33
- Steve Barker, Gill Lowen:
Event-oriented Web-based E-trading.
35-53
- Ali Nasrat Haidar, Ali E. Abdallah:
Formal Modelling of PKI Based Authentication.
55-70
- Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
71-105
- I. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed:
Bridging the Web Accessibility Divide.
107-124
- Josep Silva:
Information Filtering and Information Retrieval with the Web Filtering Toolbar.
125-136
- Paolo Mancarella, Giacomo Terreni, Francesca Toni:
Web Sites Repairing through Abduction.
137-152
Copyright © Mon Mar 15 04:00:59 2010
by Michael Ley (ley@uni-trier.de)
