Sciweavers

2587 search results - page 117 / 518
» Intrusion Tolerant Systems
Sort
View
ASAP
2006
IEEE
168views Hardware» more  ASAP 2006»
15 years 10 months ago
Dual-Processor Design of Energy Efficient Fault-Tolerant System
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the prim...
Shaoxiong Hua, Pushkin R. Pari, Gang Qu
DIMVA
2006
15 years 7 months ago
Using Static Program Analysis to Aid Intrusion Detection
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
Manuel Egele, Martin Szydlowski, Engin Kirda, Chri...
JCP
2006
115views more  JCP 2006»
15 years 6 months ago
Fault Tolerance in a Multi-Layered DRE System: A Case Study
Dynamic resource management is a crucial part of the infrastructure for emerging distributed real-time embedded systems, responsible for keeping mission-critical applications opera...
Paul Rubel, Joseph P. Loyall, Richard E. Schantz, ...
DEXAW
2006
IEEE
143views Database» more  DEXAW 2006»
16 years 14 days ago
CORBA Replication Support for Fault-Tolerance in a Partitionable Distributed System
The Common Request Broker Architecture (CORBA) specification originally did not include any support for fault-tolerance. The Fault-Tolerant CORBA standard was added to address th...
Stefan Beyer, Francesc D. Muñoz-Escoí...
ICRE
1998
IEEE
15 years 10 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...