5900 search results - page 58 / 1180 » Dependable Systems |
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Distributed applications must often consider and select the appropriate trade-offs among three important aspects ? fault-tolerance, performance and resources. We introduce a novel ...
LCPC
2000
Springer
14 years 12 days ago
2000
Springer
The internal mechanism used for a dependence test constrains its accuracy and determines its speed. The internal mechanism used for our Access Region Test (ART) is fundamentally d...
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
ITP
2010
14 years 22 days ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
SG
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we present a novel approach to visualize irregularly occurring events. We introduce the event line view designed specifically for such events data (a subset...