1615 search results - page 120 / 323 » Distributed Forward Checking |
136
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
100
click to vote
SENSYS
2003
ACM
15 years 7 months ago
2003
ACM
Sensor networks often involve the monitoring of mobile phenomena. We believe this task can be facilitated by a spatiotemporal multicast protocol which we call “mobicast”. Mobi...
139
click to vote
MOBICOM
2009
ACM
15 years 8 months ago
2009
ACM
Intended for network-wide dissemination of commands, configurations and code binaries, flooding has been investigated extensively in wireless networks. However, little work has ...
118
Voted
SENSYS
2006
ACM
15 years 8 months ago
2006
ACM
Computing and maintaining network structures for efficient data aggregation incurs high overhead for dynamic events where the set of nodes sensing an event changes with time. Mor...