1860 search results - page 359 / 372 » tools 2009 |
ISSTA
2009
ACM
14 years 5 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
ITICSE
2009
ACM
14 years 5 months ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
JCDL
2009
ACM
14 years 5 months ago
2009
ACM
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
Securing access to files is an important and growing concern in corporate environments. Employees are increasingly accessing files from untrusted devices, including personal hom...