111 search results - page 8 / 23 » Automated Information Flow Analysis of Virtualized Infrastru... |
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
HICSS
2003
IEEE
14 years 23 days ago
2003
IEEE
This research adopts Barua’s [1] three-tier Business Value Complementarity (BVC) model to study the performance of telephone companies (Telcos). Our study integrates constructs ...
ICPR
2002
IEEE
14 years 13 days ago
2002
IEEE
Visual information processing technology is very important in the implementation for sensory substitution of visually impaired persons as well as applications to factory automatio...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...