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