1308 search results - page 101 / 262 » Application of Hazard Analysis to Software Quality Modelling |
129
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control ...
138
Voted
WORM
2003
15 years 5 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
150
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
125
Voted
WCRE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Current research on code clones tries to address the question whether or not code clones are harmful for the quality of software. As most of these studies are based on the fine...
122
Voted
HOLOMAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...