3495 search results - page 329 / 699 » On the random satisfiable process |
315
click to vote
CASCON
2010
15 years 3 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
321
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
This demo presents a privacy-preserving aggregate location monitoring system, namely, TinyCasper, in which we can monitor moving objects in wireless sensor networks while preservi...
189
click to vote
PODC
2012
ACM
13 years 9 months ago
2012
ACM
Failure detectors — oracles that provide information about process crashes — are an important ion for crash tolerance in distributed systems. Although current failure-detector...
163
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
181
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper develops a practical method for image resolution enhancement. The method optimizes the spatially constrained Wiener filter for an efficiently parameterized model of the...