854 search results - page 10 / 171 » Abstracting from Failure Probabilities |
INFOCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—The current global Internet routing frequently suffers from cascading routing changes and slow routing convergence. Such instability can significantly affect the perfor...
AAAI
2007
14 years 12 months ago
2007
reason with abstracted models of the behaviours they use to construct plans. When plans are turned into the instructions that drive an executive, the real behaviours interacting w...
64
Voted
SSS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
76
Voted
TSE
2010
14 years 8 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...