5255 search results - page 722 / 1051 » Formal Methods for Privacy |
143
Voted
ISOLA
2004
Springer
16 years 2 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
175
click to vote
ISW
2004
Springer
16 years 2 days ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
179
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
179
click to vote
SACRYPT
2004
Springer
16 years 1 days ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...
183
click to vote
VECPAR
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...