HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

WWV 2010: Volume Information

WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems

Editors: Laura Kovacs and Temur Kutsia
EPiC Series in Computing•Volume 18
7 articles•80 pages•Published: July 28, 2013

Papers

Answer Set Programming in a Nutshell
Thomas Eiter
1
EasyChair
Andrei Voronkov
2
Temporal Patterns for Document Verification
Mirjana Jaksic and Burkhard Freitag
3-18
Specifying Hyperdocuments with Algebraic Methods
Volker Mattick
19-33
Incremental Construction of Counterexamples in Model Checking Web Documents
Franz Weitl and Shin Nakajima
34-50
Development of a Query Language for GML based on XPath
Jesus Almendros-Jimenez, Antonio Becerra-Teron and Francisco Garcia-Garcia
51-64
Reconstructing Information Retrieved from Multiple Websites
Héctor Valero, Carlos Castillo and Josep Silva
65-80

Keyphrases

ALCCTL, Algebraic Specification Methods, conference management, counterexamples, CTL, document management, document verification, easychair, GIS, GML, HTML Filtering, Hyperdocument Engineering, Information Retrieval, KML, model checking, PostGIS, temporal description logics, temporal specification patterns, Web accessibility, Web documents, Web Services, Webpages visualization, XPath.

Copyright © 2012-2025 easychair.org. All rights reserved.