2673 search results - page 442 / 535 » Guided Static Analysis |
128
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
113
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Information security risk management (ISRM) heavily depends on realistic impact values representing the resources’ importance in the overall organizational context. Alt...
153
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
150
click to vote
ICIAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A major problem in surveillance systems is the storage requirements for video archival; videos are recorded continuously for long periods of time, resulting in large amou...
125
click to vote
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....