8132 search results - page 140 / 1627 » Dependability, Abstraction, and Programming |
130
Voted
FS
2006
15 years 7 months ago
2006
Abstract The problem of finding the best-possible lower bound on the distribution of a non-decreasing function of n dependent risks is solved when n = 2 and a lower bound on the co...
164
Voted
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
190
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
182
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
132
Voted
ECAI
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The basic decision-theoretic troubleshooting task is described in this paper. Dependency sets are defined for a better understanding of dependent actions. It is shown th...