4341 search results - page 267 / 869 » Quantitative Model checking |
117
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
113
Voted
DSD
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
91
Voted
PDPTA
2003
15 years 2 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
96
Voted
IWIA
2005
IEEE
15 years 6 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
122
Voted
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...