875 search results - page 66 / 175 » On Reachability Under Uncertainty |
87
Voted
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
—Creating replicas of frequently accessed data objects across a read-intensive Content Delivery Network (CDN) can result in reduced user response time. Because CDNs often operate...
96
Voted
SECON
2008
IEEE
15 years 7 months ago
2008
IEEE
—Traffic routing plays a critical role in determining the performance of a wireless mesh network. To investigate the best solution, existing work proposes to formulate the mesh ...
105
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Context-aware applications pose new challenges, including a need for new computational models, uncertainty management, and efficient optimization under uncertainty. Uncertainty c...
138
Voted
PVLDB
2008
15 years 7 days ago
2008
Uncertainty pervades many domains in our lives. Current real-life applications, e.g., location tracking using GPS devices or cell phones, multimedia feature extraction, and sensor...
104
Voted
CORR
2007
Springer
15 years 22 days ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...