2470 search results - page 412 / 494 » Liveness-Preserving Simulation Relations |
103
click to vote
ICCNMC
2005
Springer
15 years 6 months ago
2005
Springer
TCP Vegas detects network congestion in the early stage and successfully prevents periodic packet loss that usually occurs in TCP Reno. It has been demonstrated that TCP Vegas achi...
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
Vector quantization (VQ) is an elementary technique for image compression. However, searching for the nearest codeword in a codebook is time-consuming. The existing schemes focus o...
109
click to vote
ICOIN
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we propose DINPeer middleware to overcome limitations in current peer-to-peer (P2P) overlay systems. DINPeer exploits a spiral-ring method to discover an inner ring ...
100
Voted
TCC
2005
Springer
15 years 6 months ago
2005
Springer
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...
WDAG
2005
Springer
15 years 6 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...