2918 search results - page 101 / 584 » Design tools for reliability analysis |
140
click to vote
SIGDOC
2000
ACM
15 years 10 months ago
2000
ACM
∗ DSTOP, the Design Support Tool for Operating Procedures, is a relatively simple software tool for support of designers of new interfaces and their procedures for use. DSTOP is ...
178
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
157
click to vote
VALUETOOLS
2006
ACM
16 years 7 days ago
2006
ACM
We present the software tool “Web Graph Analyzer”. This tool is designed to perform a comprehensive analysis of the Web Graph structure. By Web Graph we mean a graph whose ver...
153
click to vote
LISA
2001
15 years 7 months ago
2001
Until now, system administrators have lacked a flexible real-time network traffic flow monitoring package. Such a package must provide a wide range of services but remain flexible ...
181
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...