3742 search results - page 742 / 749 » On the Use of Formal Techniques for Validation |
96
Voted
ACNS
2006
Springer
15 years 5 months ago
2006
Springer
In a society increasingly concerned with the steady assault on electronic privacy, the need for privacy-preserving techniques is both natural and justified. This need extends to t...
134
click to vote
WPES
2006
ACM
15 years 5 months ago
2006
ACM
Many applications of mix networks such as anonymous Web browsing require relationship anonymity: it should be hard for the attacker to determine who is communicating with whom. Co...
103
click to vote
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
114
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
WMPI
2004
ACM
15 years 5 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...