Abstract Models are considered an essential step in capturing different system behaviours
and simplifying the analysis required to check or improve the quality of software. Verification …

In this paper, a model for websites is presented. The model is well-suited for the formal
verification of dynamic as well as static properties of the system. A website is defined as a …

Models are considered an essential step in capturing different system behaviors and
simplifying the analysis required to check or improve the quality of software. Verification and …

Keeping XML data in a consistent state wrt both structure and content is a burdensome task.
To maintain the consistency of ever-larger, complex XML repositories, suitable mechanisms …

In this paper, we present an abstract framework for Web site verification which improves the
performance of a previous, rewriting-based Web verification methodology. The …

Informe Tecnico / Technical Report Page 1 DEPARTAMENTO DE SISTEMAS INFORM ATICOS Y
COMPUTACI ON UNIVERSIDAD POLIT ECNICA DE VALENCIA PO Box: 22012 E-46071 Valencia …

PhD Thesis Page 1 Rewriting-based Verification and Debugging of Web Systems Ph.D. Thesis
Presented by: Daniel Omar Romero Supervisors: Marıa Alpuente Frasnedo Demis Ballis Valencia …

Current technologies such as anti-virus software programs and network firewalls provide
reasonably secure protection at the host and network levels, but not at the application level …

In this paper we survey current research on Web issues in Argentina. We first describe
briefly the current situation in computer science research and next we outline which are the …

A manutenção do conteúdo web pode ser uma tarefa difícil, especialmente se
considerarmos websites em que muitos utilizadores têm permissões para alterar o seu …