101 search results - page 10 / 21 » Automatic Architecture Hardening Using Safety Patterns |
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
112
Voted
DAC
2008
ACM
16 years 13 days ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
FORTE
2008
15 years 27 days ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
93
Voted
MICCAI
2007
Springer
15 years 5 months ago
2007
Springer
Motivated by the current limitations of automated quantitative image analysis in discriminating among intracellular immunohistochemical (IHC) staining patterns, this paper presents...
91
Voted
WOSP
2010
ACM
15 years 3 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...