699 search results - page 15 / 140 » Computation of Interprocedural Control Dependence |
JCS
2008
13 years 7 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
EDCC
2010
Springer
14 years 13 days ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
VISUALIZATION
2003
IEEE
14 years 27 days ago
2003
IEEE
We propose Unsteady Flow Advection–Convolution (UFAC) as a novel visualization approach for unsteady flows. It performs time evolution governed by pathlines, but builds spatial...
EDCC
2010
Springer
14 years 13 days ago
2010
Springer
—This paper investigates sources of uncertainty in measurement results obtained using three different fault injection techniques. Two software-implemented and one test port-based...