14558 search results - page 2721 / 2912 » Resources |
172
click to vote
ICLP
2007
Springer
15 years 9 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...
167
click to vote
CCGRID
2009
IEEE
15 years 9 months ago
2009
IEEE
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
183
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper describes the architecture and implementation of a Java-based appliance for collaborative review of crashes involving injured children in order to determine mechanisms o...
139
click to vote
ACSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
In most existing systems, the authorization check for system resource access is based on the user ID of the running processes. Such systems are vulnerable to password stealing/cra...
165
click to vote
AINA
2004
IEEE
15 years 9 months ago
2004
IEEE
Unlike host mobility support, network mobility is concerned with situations where an entire network changes its point of attachment to the Internet. Furthermore, we should conside...