426 search results - page 53 / 86 » Specification, Abduction, and Proof |
ACISP
2008
Springer
13 years 11 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
CSREAESA
2004
13 years 11 months ago
2004
The remote diagnostics of faults and operating states of technical equipment offers increased benefits and cost advantages for consumers and manufacturers. These advantages can al...
ICWS
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...
MSV
2004
13 years 11 months ago
2004
The main research in the area of image databases addresses the improvement of retrieval quality and the speedup of the query processing. A number of image retrieval systems reache...
WSC
2004
13 years 11 months ago
2004
The stochastic root-finding problem (SRFP) is that of solving a system of q equations in q unknowns using only an oracle that provides estimates of the function values. This paper...