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

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

Editors: Laura Kovács 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
Page 1
EasyChair
Andrei Voronkov
Page 2
Temporal Patterns for Document Verification
Mirjana Jaksic and Burkhard Freitag
Pages 3-18
Specifying Hyperdocuments with Algebraic Methods
Volker Mattick
Pages 19-33
Incremental Construction of Counterexamples in Model Checking Web Documents
Franz Weitl and Shin Nakajima
Pages 34-50
Development of a Query Language for GML based on XPath
Jesus M. Almendros-Jimenez, Antonio Becerra-Teron and Francisco Garcia-Garcia
Pages 51-64
Reconstructing Information Retrieved from Multiple Websites
Héctor Valero, Carlos Castillo and Josep Silva
Pages 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-2023 easychair.org. All rights reserved.