1256 search results - page 200 / 252 » A Simple E-Voting Protocol |
ICCCN
1998
IEEE
14 years 3 months ago
1998
IEEE
TCP is a popular transport protocol used in present-day internet. When packet losses occur, TCP assumes that the packet losses are due to congestion, and responds by reducing its ...
AGENTS
1998
Springer
14 years 3 months ago
1998
Springer
We present a framework for de ning trading scenarios based on sh market auctions. In these scenarios, agents of arbitrary complexity can participate in electronic auctions under ...
PADS
1998
ACM
14 years 3 months ago
1998
ACM
In this paper we consider the distributed simulation of queueing networks of FCFS servers with infinite buffers, and irreducible Markovian routing. We first show that for either t...
TACS
1997
Springer
14 years 3 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
ISCA
1993
IEEE
14 years 3 months ago
1993
IEEE
A shared data structure is lock-free if its operations do not require mutual exclusion. If one process is interrupted in the middle of an operation, other processes will not be pr...