2610 search results - page 323 / 522 » Computational Probabilistic Non-interference |
180
click to vote
ICDCS
1997
IEEE
15 years 10 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...
177
click to vote
CAAP
1992
15 years 10 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...
131
click to vote
SIGGRAPH
1993
ACM
15 years 10 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...
165
click to vote
PODC
2010
ACM
15 years 10 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...
185
click to vote
ACIVS
2006
Springer
15 years 10 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...