Sciweavers

1440 search results - page 66 / 288
» Third-Party Flow Control
Sort
View
ER
2005
Springer
93views Database» more  ER 2005»
15 years 11 months ago
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
ICFEM
2005
Springer
15 years 11 months ago
A Theory of Secure Control Flow
Martín Abadi, Mihai Budiu, Úlfar Erl...
ICLP
2004
Springer
15 years 11 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
COMPSAC
2003
IEEE
15 years 11 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»
15 years 11 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...