1128 search results - page 17 / 226 » Little Engines of Proof |
ACISP
2004
Springer
15 years 2 months ago
2004
Springer
The Canetti-Krawczyk (CK) model is useful for building reusable components that lead to rapid development of secure protocols, especially for engineers working outside of the secur...
POPL
1997
ACM
15 years 1 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
IDEAS
2006
IEEE
15 years 3 months ago
2006
IEEE
As data stream management systems (DSMSs) become more and more popular, there is an increasing need to protect such systems from adversaries. In this paper we present an approach ...
AI
2001
Springer
15 years 1 months ago
2001
Springer
This paper presents a new pruning method to determine a nearly optimum multi-layer neural network structure. The aim of the proposed method is to reduce the size of the network by ...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
We seek to gain improved insight into how Web search engines should cope with the evolving Web, in an attempt to provide users with the most up-to-date results possible. For this ...