Sciweavers

1393 search results - page 62 / 279
» Virtual-Channel Flow Control
Sort
View
COMPSAC
2003
IEEE
14 years 2 months ago
Tolerance of Control-Flow Testing Criteria
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bo...
DFT
2003
IEEE
151views VLSI» more  DFT 2003»
14 years 2 months ago
Soft-Error Detection Using Control Flow Assertions
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
O. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Re...
IOLTS
2003
IEEE
109views Hardware» more  IOLTS 2003»
14 years 2 months ago
Low-Cost On-Line Fault Detection Using Control Flow Assertions
Rajesh Venkatasubramanian, John P. Hayes, Brian T....
ESORICS
2003
Springer
14 years 2 months ago
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
Jacob Zimmermann, Ludovic Mé, Christophe Bi...