Sciweavers

48 search results - page 1 / 10
» Quantifying and Querying Network Reachability
Sort
View
ICDCS
2010
IEEE
15 years 4 months ago
Quantifying and Querying Network Reachability
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...
Amir R. Khakpour, Alex X. Liu
DASFAA
2009
IEEE
173views Database» more  DASFAA 2009»
15 years 4 months ago
A Uniform Framework for Ad-Hoc Indexes to Answer Reachability Queries on Large Graphs
Graph-structured databases and related problems such as reachability query processing have been increasingly relevant to many applications such as XML databases, biological databas...
Linhong Zhu, Byron Choi, Bingsheng He, Jeffrey Xu ...
ADHOCNOW
2008
Springer
15 years 6 months ago
Query Dissemination with Predictable Reachability and Energy Usage in Sensor Networks
Energy-efficient query dissemination plays an important role for the lifetime of sensor networks. In this work, we consider probabilistic flooding for query dissemination and deve...
Zinaida Benenson, Markus Bestehorn, Erik Buchmann,...
91
Voted
AHSWN
2010
88views more  AHSWN 2010»
15 years 12 days ago
Query Dissemination in Sensor Networks - Predicting Reachability and Energy Consumption
Markus Bestehorn, Zinaida Benenson, Erik Buchmann,...
98
Voted
FORTE
2008
15 years 1 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...