13 search results - page 1 / 3 » Web Sites Verification: An Abductive Logic Programming Tool |
ICLP
2007
Springer
13 years 8 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
LPNMR
2007
Springer
13 years 10 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
DEBU
2008
13 years 4 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...