166 search results - page 24 / 34 » A Software Fault Tree Approach to Requirements Analysis of a... |
CC
2001
Springer
14 years 1 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Malware has become the centerpiece of most security threats on the Internet. Malware analysis is an essential technology that extracts the runtime behavior of malware, and supplie...
EDOC
2007
IEEE
14 years 2 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
CODES
2009
IEEE
14 years 3 months ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...