default search action
4th WWV 2008: Siena, Italy
- Demis Ballis, Santiago Escobar:
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008. Electronic Notes in Theoretical Computer Science 235, Elsevier 2009 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.