545 search results - page 12 / 109 » Comparison Between Two Practical Mix Designs |
PET
2004
Springer
14 years 1 months ago
2004
Springer
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
MMS
2010
13 years 7 months ago
2010
-- In this paper, we present a theoretical framing of the functions of a mirror by breaking the synchrony between the state of a reference object and its reflection. This framing p...
SECON
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper bears on the design and the quantitative evaluation of MAC mechanisms for wireless ad-hoc networks with performance guarantees. By this, we mean mechanisms where each ac...
EUROMICRO
2002
IEEE
14 years 1 months ago
2002
IEEE
In today's software engineering practices, building applications from components is the ongoing trend. What can be noticed however is that there really is not a clear consens...