Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Fast Algebraic Web Verification Service M. Alpuente1
 

Summary: A Fast Algebraic Web Verification Service
M. Alpuente1
, D. Ballis2
, M. Falaschi3
, P. Ojeda1
, and D. Romero1
1
DSIC, Universidad Polit´ecnica de Valencia
Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain.
{alpuente, pojeda, dromero}@dsic.upv.es
2
Dip. Matematica e Informatica
Via delle Scienze 206, 33100 Udine, Italy.
demis@dimi.uniud.it
3
Dip. di Scienze Matematiche e Informatiche
Pian dei Mantellini 44, 53100 Siena, Italy.
moreno.falaschi@unisi.it
Abstract. In this paper, we present the rewriting-based, Web verifica-
tion service WebVerdi-M, which is able to recognize forbidden/incorrect

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences