4350 search results - page 385 / 870 » Case studies for contract-based systems |
170
click to vote
PDP
1996
IEEE
15 years 11 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
170
click to vote
VISUALIZATION
1996
IEEE
15 years 11 months ago
1996
IEEE
This case study describes a system that allows the use of interactive volume rendering for routine clinical diagnosis. In this setup, a SGI RealityStation acts like a remote rende...
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...
156
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a framework for in-field-maintenance services for wireless sensor networks. The motivation of this work is driven by an observation that many applications usi...
238
click to vote
AMT
2010
Springer
15 years 8 months ago
2010
Springer
Developing complex robotic systems endowed with self-conscious abilities and subjective experience is a hard requirement to face at design time. This paper deals with the developme...