2687 search results - page 310 / 538 » Formal Analysis of PKCS |
130
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
We sketch and illustrate an approach to machine translation that exploits the potential of simultaneous correspondences between separate levels of linguistic representation, as fo...
192
click to vote
DAGSTUHL
1992
15 years 7 months ago
1992
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
195
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
DI
2007
15 years 6 months ago
2007
“Carving” is the term most often used to indicate the act of recovering a file from unstructured digital forensic images. The term unstructured indic...
169
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...