171 search results - page 29 / 35 » Improving Computer Security Using Extended Static Checking |
CCGRID
2004
IEEE
13 years 10 months ago
2004
IEEE
Utility Grids implemenf a virtuuliiarion architecture and nl- lowfor sharing of infrastructure for improved Rerum on invesrmenr(RO1J.Wc consider extending the existing Grid infrus...
ICS
2009
Tsinghua U.
14 years 1 months ago
2009
Tsinghua U.
Power and energy are first-order design constraints in high performance computing. Current research using dynamic voltage scaling (DVS) relies on trading increased execution time...
DSN
2011
IEEE
12 years 6 months ago
2011
IEEE
—One of the key benefits of using intrusion-tolerant systems is the possibility of ensuring correct behavior in the presence of attacks and intrusions. These security gains are ...
ICITA
2005
IEEE
14 years 9 days ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...
PASTE
2005
ACM
14 years 8 days ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...