default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st WWV 2005: Valencia, Spain
- María Alpuente, Santiago Escobar, Moreno Falaschi:
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005. Electronic Notes in Theoretical Computer Science 157(2), Elsevier 2006 - María Alpuente
, Santiago Escobar, Moreno Falaschi:
Preface. 1-2 - Shadi Abou-Zahra:
A Data Model to Facilitate the Automation of Web Accessibility Evaluations. 3-9 - Demis Ballis, Javier García-Vivó:
A Rule-based System for Web site Verification. 11-17 - Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero:
Verification of Web Services with Timed Automata. 19-34 - Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Web Categorisation Using Distance-Based Decision Trees. 35-40 - Shriram Krishnamurthi:
Web Verification: Perspective and Challenges. 41-46 - Temur Kutsia:
Context Sequence Matching for XML. 47-65 - Luigi Liquori, Furio Honsell, Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). 67-78 - Salvador Lucas:
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics. 79-85 - Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez:
Web Accessibility Evaluation Tools: A Survey and Some Improvements. 87-100 - Martin Karusseit, Tiziana Margaria:
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. 101-118 - Frédéric Rioux, Patrice Chalin:
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. 119-132 - Claude Kirchner, Hélène Kirchner, Anderson Santana:
Anchoring Modularity in HTML. 133-146 - Bo Hu, Florian Lauck, Jan Scheffczyk:
How Recent is a Web Document? 147-166 - Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy. 167-185 - Josep Silva:
Slicing XML Documents. 187-192 - Roger G. Stone:
Validating Scripted Web-Pages. 193-205 - Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc:
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? 207-211
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.
last updated on 2026-08-22 01:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
