More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

1st WWV 2005: Valencia, Spain

> Home > Conferences and Workshops > WWV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/wwv/2005e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wwv/2005e
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlpuenteEF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlpuenteEF06
María Alpuente, Santiago Escobar, Moreno Falaschi:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Abou-Zahra06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Abou-Zahra06
Shadi Abou-Zahra:
A Data Model to Facilitate the Automation of Web Accessibility Evaluations. 3-9
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BallisG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BallisG06
Demis Ballis, Javier García-Vivó:
A Rule-based System for Web site Verification. 11-17
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DiazPCVC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DiazPCVC06
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero:
Verification of Web Services with Timed Automata. 19-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EstruchFHR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EstruchFHR06
Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Web Categorisation Using Distance-Based Decision Trees. 35-40
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Krishnamurthi06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Krishnamurthi06
Shriram Krishnamurthi:
Web Verification: Perspective and Challenges. 41-46
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kutsia06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kutsia06
Temur Kutsia:
Context Sequence Matching for XML. 47-65
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LiquoriHR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiquoriHR06
Luigi Liquori, Furio Honsell, Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). 67-78
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lucas06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lucas06
Salvador Lucas:
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics. 79-85
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CentenoKFA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CentenoKFA06
Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez:
Web Accessibility Evaluation Tools: A Survey and Some Improvements. 87-100
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KarusseitM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KarusseitM06
Martin Karusseit, Tiziana Margaria:
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. 101-118
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RiouxC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RiouxC06
Frédéric Rioux, Patrice Chalin:
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. 119-132
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KirchnerKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KirchnerKS06
Claude Kirchner, Hélène Kirchner, Anderson Santana:
Anchoring Modularity in HTML. 133-146
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HuLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HuLS06
Bo Hu, Florian Lauck, Jan Scheffczyk:
How Recent is a Web Document? 147-166
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmatoCGSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmatoCGSS06
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy. 167-185
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Silva06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Silva06
Josep Silva:
Slicing XML Documents. 187-192
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Stone06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Stone06
Roger G. Stone:
Validating Scripted Web-Pages. 193-205
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WincklerBPF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WincklerBPF06
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.