3335 search results - page 3 / 667 » Grid result checking |
DEXAW
2004
IEEE
14 years 2 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
TGC
2010
Springer
13 years 8 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
MSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
DDECS
2008
IEEE
14 years 5 months ago
2008
IEEE