3742 search results - page 742 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
ACNS
2006
Springer
16 years 20 days 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...
228
click to vote
WPES
2006
ACM
16 years 18 days 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...
180
click to vote
ICLP
2005
Springer
16 years 5 days 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 ...
217
click to vote
OOPSLA
2005
Springer
16 years 4 days 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...
171
click to vote
WMPI
2004
ACM
16 years 2 days 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...