1256 search results - page 55 / 252 » A Simple E-Voting Protocol |
125
click to vote
ICECCS
1999
IEEE
15 years 5 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...
PODC
1994
ACM
15 years 5 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...
123
click to vote
PODC
1994
ACM
15 years 5 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...
115
click to vote
DAGSTUHL
2004
15 years 2 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...
123
click to vote
TMC
2008
15 years 25 days 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...