752 search results - page 105 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
112
Voted
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
134
Voted
SAC
2000
ACM
15 years 8 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
158
Voted
SIGMOD
1993
ACM
15 years 7 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
147
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
126
Voted
JCP
2007
15 years 3 months ago
2007
– A prototype Internet Research Support System is presented based on earlier work on the modeling of online reading behavior and evaluating the reading process and its outcomes. ...