661 search results - page 83 / 133 » Robustness Guarantees for Anonymity |
93
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
122
click to vote
ATS
2003
IEEE
15 years 6 months ago
2003
IEEE
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
101
click to vote
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we incorporate dipolar potential fields used for nonholonomic navigation into a novel potential function designed for multi – robot navigation. The derived naviga...
120
Voted
IWANN
2001
Springer
15 years 5 months ago
2001
Springer
In this paper two methods for the detection and recognition of landmarks to be used in topological modeling for autonomous mobile robots are presented. The first method is based o...
108
Voted
EDOC
2000
IEEE
15 years 5 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...