641 search results - page 87 / 129 » Formal Reliability Analysis Using Theorem Proving |
SOCO
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
109
click to vote
JCS
2010
14 years 6 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
IPMI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Volume segmentation is a relatively slow process and, in certain circumstances, the enormous amount of prior knowledge available is underused. Model-based liver segmentat...
WINE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
170
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...