875 search results - page 66 / 175 » On Reachability Under Uncertainty |
137
click to vote
IPPS
2009
IEEE
16 years 19 days 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...
157
click to vote
SECON
2008
IEEE
16 years 11 days 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 ...
162
click to vote
DATE
2005
IEEE
15 years 11 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...
209
click to vote
PVLDB
2008
15 years 5 months 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...
162
click to vote
CORR
2007
Springer
15 years 6 months 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...