2468 search results - page 170 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
134
click to vote
VRST
1998
ACM
15 years 8 months ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...
120
click to vote
JCS
2011
14 years 10 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
128
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
130
click to vote
PAMI
1998
1998
A Probabilistic Approach to the Coupled Reconstruction and Restoration of Underwater Acoustic Images
15 years 3 months ago
—This paper describes a probabilistic technique for the coupled reconstruction and restoration of underwater acoustic images. The technique is founded on the physics of the image...
146
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Observing the workload on a computer system during a short (but not too short) time interval may lead to distributions that are significantly different from those that would be o...