Sciweavers

16 search results - page 1 / 4
» hase 1998
Sort
View
HASE
1998
IEEE
13 years 8 months ago
A New Heuristic to Discriminate between Transient and Intermittent Faults
Effective discrimination between transient and permanent faults is a very important practical problem in (dependable) system design. A count-andthreshold mechanism named -count, d...
Fabrizio Grandoni 0002, Andrea Bondavalli, Silvano...
HASE
1998
IEEE
13 years 8 months ago
Software Component Independence
Independence is a fundamental requirement for calculating system reliability from component reliabilities, whether in hardware or software systems. Markov analysis is often used i...
Denise M. Woit, David V. Mason
HASE
1998
IEEE
13 years 8 months ago
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
Susan Stepney
HASE
1998
IEEE
13 years 8 months ago
A Firewalling Scheme for Securing MPOA-Based Enterprise Networks
A well-known security problem with MPOA is that cutthrough connections generally bypasses firewall routers if there are any. None of the previously proposed approaches solved the ...
Jun Xu, Mukesh Singhal