Sciweavers

875 search results - page 35 / 175
» On Reachability Under Uncertainty
Sort
View
CN
2006
98views more  CN 2006»
15 years 6 months ago
Internet resiliency to attacks and failures under BGP policy routing
We investigate the resiliency of the Internet at the Autonomous System (AS) level to failures and attacks, under the real constraint of business agreements between the ASs. The ag...
Danny Dolev, Sugih Jamin, Osnat Mokryn, Yuval Shav...
HYBRID
2001
Springer
15 years 10 months ago
On Hybrid Control of Under-Actuated Mechanical Systems
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao ...
ICDE
2009
IEEE
126views Database» more  ICDE 2009»
16 years 7 months ago
Aggregate Query Answering under Uncertain Schema Mappings
Recent interest in managing uncertainty in data
Avigdor Gal, Maria Vanina Martinez, Gerardo I. Sim...
PLDI
2010
ACM
16 years 3 months ago
The Reachability-Bound Problem
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
Sumit Gulwani, Florian Zuleger