2610 search results - page 323 / 522 » Computational Probabilistic Non-interference |
145
Voted
ICDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
A secure reliable multicast protocol enables a process to send a message to a group of recipients such that all correct destinations receive the same message, despite the maliciou...
148
click to vote
CAAP
1992
15 years 7 months ago
1992
We extend results about heights of random trees (Devroye, 1986, 1987, 1998b). In this paper, a general split tree model is considered in which the normalized subtree sizes of node...
SIGGRAPH
1993
ACM
15 years 7 months ago
1993
ACM
Sensor-actuator networks (SANs) are a new approach for the physically-based animation of objects. The user supplies the configuratíon of a mechanical system that hás been augmen...
125
click to vote
PODC
2010
ACM
15 years 7 months ago
2010
ACM
A shared disk implementation on distributed storage requires consistent behavior of disk operations. Deterministic consensus on such behavior is impossible when even a single stor...
152
click to vote
ACIVS
2006
Springer
15 years 7 months ago
2006
Springer
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...