1191 search results - page 107 / 239 » Distributed Detection of Information Flows |
STTT
2010
13 years 7 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
SUTC
2006
IEEE
14 years 3 months ago
2006
IEEE
We examine the problem of detecting the direction of motion in a binary sensor network; in such a network each sensor’s value is supplied reliably in a single bit of information...
KES
2004
Springer
14 years 2 months ago
2004
Springer
The ability to detect the existence of nonlinear dynamics may facilitate medical diagnostics for identifying, monitoring and predicting transitions from health to sickness. Detecti...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
Image authentication is important in content delivery via untrusted intermediaries, such as peer-to-peer (P2P) file sharing. Many differently encoded versions of the original imag...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We present a distributed scheduling algorithm for provisioning of guaranteed link bandwidths in ad hoc mesh networks. The guaranteed link bandwidths are necessary to provide de...