1256 search results - page 55 / 252 » A Simple E-Voting Protocol |
175
click to vote
ICECCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
150
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
183
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
177
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
177
click to vote
TMC
2008
15 years 6 months ago
2008
In this paper, we propose a new Medium Access Control (MAC) protocol for full exploitation of directional antennas in wireless networks. The protocol introduces a circular directio...