3972 search results - page 256 / 795 » Design of the iSCSI Protocol |
193
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
166
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
152
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
In wireless networks, as in many areas of engineering, simulation has been the de-facto standard for testing, dimensioning and analyzing mobile protocols. Emulation, which present...
182
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
This article proposes a simple key management protocol for the distribution of shared session keys in IEEE 802.11 wireless LANs. For this purpose an individual key for each user i...
163
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...