253 search results - page 38 / 51 » Using Fault Modeling in Safety Cases |
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
ADAEUROPE
2000
Springer
14 years 2 months ago
2000
Springer
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
CCCG
2001
13 years 11 months ago
2001
Local coordinates based on the Voronoi diagram are used in natural neighbour interpolation to quantify the "neighbourliness" of data sites. In an earlier paper, we have ...
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
ISCC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In-network storage of data in wireless sensor networks contributes to reduce the communications inside the network and to favor data aggregation. In this paper, we consi...