207 search results - page 25 / 42 » Software reliability and dependability: a roadmap |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
APSEC
2000
IEEE
13 years 12 months ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
ECOOPWEXCEPTION
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we present the architecture of CoBFIT, a component-based framework for building intrusion-tolerant distributed systems. The CoBFIT framework, by virtue of its desig...
CSDA
2006
13 years 7 months ago
2006
The Hurst parameter H characterizes the degree of long-range dependence (and asymptotic selfsimilarity) in stationary time series. Many methods have been developed for the estimat...