1256 search results - page 142 / 252 » A Simple E-Voting Protocol |
140
Voted
SIGMETRICS
1999
ACM
15 years 8 months ago
1999
ACM
This paper examines NFS sensitivity to performance characteristics of emerging networks. We adopt an unusual method of inserting controlled delays into live systems to measure sen...
126
click to vote
LCN
1999
IEEE
15 years 8 months ago
1999
IEEE
A statistical analysis of Internet traffic measurements from a campus site is carried out to examine the influence of the constituent protocols and applications on the characteris...
119
click to vote
PADS
1997
ACM
15 years 8 months ago
1997
ACM
In traditional optimistic distributed simulation protocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may als...
145
click to vote
HPCA
1996
IEEE
15 years 8 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
150
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...