269 search results - page 20 / 54 » Using model-based security analysis in component-oriented sy... |
CCS
2011
ACM
12 years 7 months ago
2011
ACM
Over the last two decades FPGAs have become central components for many advanced digital systems, e.g., video signal processing, network routers, data acquisition and military sys...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
The sheer volume of new malware found each day is growing at an exponential pace. This growth has created a need for automatic malware triage techniques that determine what malwar...
PE
2007
Springer
13 years 7 months ago
2007
Springer
This paper develops time-based rejuvenation policies to improve the performability measures of a cluster system. Three rejuvenation policies, namely standard rejuvenation, delayed...
WETICE
2008
IEEE
14 years 2 months ago
2008
IEEE
The importance of aviation security has increased dramatically in recent years. Frequently changing regulations and the need to adapt quickly to new and emerging threats are chall...