5015 search results - page 369 / 1003 » Model Checking a Path |
177
click to vote
NSDI
2008
15 years 9 months ago
2008
The broadcast nature of wireless networks is the source of both their utility and much of their complexity. To turn what would otherwise be unwanted interference into an advantage...
176
click to vote
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
195
click to vote
WINET
2010
15 years 1 months ago
2010
In this paper, we consider filtering false reports in braided multipath routing sensor networks. While multipath routing provides better resilience to various faults in sensor net...
236
click to vote
ESORICS
2012
Springer
13 years 9 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
166
click to vote
MMM
2005
Springer
16 years 6 days ago
2005
Springer
Constraints are used in traditional database systems to define consistent database states. For multimedia data it is also important to define constraints for a correct data outp...