5934 search results - page 984 / 1187 » Detecting a Network Failure |
163
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
168
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
184
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
160
click to vote
DBSEC
2007
15 years 8 months ago
2007
In this paper we present the design of a scalable and secure cryptographic service that can be adopted to support large-scale networked systems, which may require strong authentica...
158
click to vote
CIIT
2004
15 years 8 months ago
2004
The Internet is a convenient platform to distribute real time traffic information. Thus, we propose a web-based visualization of the current and future traffic load of the entire ...