6245 search results - page 896 / 1249 » A Case for Aggregate Networks |
169
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
166
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a framework for transforming several quorum-based protocols so that they can dynamically adapt their failure threshold and server count, allowing them to be reconfigure...
226
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
194
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
176
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...