356 search results - page 70 / 72 » AUTHMAC_DH: A New Protocol for Authentication and Key Distri... |
JELIA
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
IEEEPACT
2009
IEEE
13 years 3 months ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...
SSS
2007
Springer
14 years 8 days ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
ISCC
2003
IEEE
13 years 11 months ago
2003
IEEE
As the Internet becomes pervasive, the vulnerability of some fundamental design aspects of the Internet has also become significant. Among which, Denial-of-Service (DoS) and Distr...
FOCS
1997
IEEE
13 years 10 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...