7055 search results - page 1340 / 1411 » Some New 4-Designs |
128
click to vote
ASIACRYPT
2001
Springer
15 years 5 months ago
2001
Springer
A Zero-knowledge protocol provides provably secure entity authentication based on a hard computational problem. Among many schemes proposed since 1984, the most practical rely on f...
149
click to vote
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
139
click to vote
PASTE
2010
ACM
15 years 5 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
118
click to vote
ECAI
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
106
click to vote
ESAW
2000
Springer
15 years 5 months ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...