875 search results - page 93 / 175 » On Reachability Under Uncertainty |
VTC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Broadband access for all will be a key functionality in future mobile radio networks. Depending on the length and the characteristic of the radio wave propagation the performan...
FCT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Attack graphs are a valuable tool to network defenders, illustrating paths an attacker can use to gain access to a targeted network. Defenders can then focus their efforts on patc...
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
OZCHI
2006
ACM
15 years 5 months ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...