1580 search results - page 65 / 316 » Non-Interference Through Determinism |
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
This paper describes an algorithm for determining if an event occurs persistently within an interval where the interval is periodic but the event is not. The goal of the algorithm...
URBAN
2011
13 years 3 months ago
2011
This paper reports on the development and application of strategies and tools for geographic information seeking and knowledge building that leverages unstructured text resources ...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
TIT
2010
13 years 3 months ago
2010
Abstract-- In a relay network with a single sourcedestination pair, we examine the achievable rates with amplifyand-forward (AF) relaying strategy. Motivated by applications in sen...
ICDE
2011
IEEE
13 years 13 days ago
2011
IEEE
— In a wireless sensor network (WSN), each sensor monitors environmental parameters, and reports its readings to a base station, possibly through other nodes. A sensor works in c...