877 search results - page 131 / 176 » Full Abstraction for HOPLA |
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We study the problem of authenticating the content and creation time of documents generated by an organization and retained in archival storage. Recent regulations (e.g.,...
SAS
2009
Springer
14 years 9 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
MICCAI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Here we introduce multivariate tensor-based surface morphometry using holomorphic one-forms to study brain anatomy. We computed new statistics from the Riemannian metric ...