2875 search results - page 127 / 575 » Distributed Reactive Machines |
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
93
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
94
Voted
NN
2007
Springer
15 years 9 days ago
2007
Springer
In the antisaccade paradigm subjects are instructed to perform eye movements in the opposite direction from the location of a visually appearing stimulus while they are fixating ...
135
Voted
ICC
2009
IEEE
14 years 10 months ago
2009
IEEE
In a wireless ad hoc network, the main issue of a good broadcast protocol is to attain maximum reachability with minimal packet forwarding. Existing protocols address this issue by...
ICPP
1996
IEEE
15 years 5 months ago
1996
IEEE
In s-to-p broadcasting, s processors in a p-processor machine contain a message to be broadcast to all the processors, 1 s p. We present a number of different broadcasting algori...