1112 search results - page 188 / 223 » software 2002 |
116
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
154
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
134
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
128
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
151
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...