780 search results - page 3 / 156 » Compositional Quantitative Reasoning |
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
CSFW
2005
IEEE
14 years 29 days ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
BMCBI
2007
13 years 7 months ago
2007
Background: Urine from male Sprague-Dawley rats 25, 40, and 80 days old was analyzed by NMR and UPLC/MS. The effects of data normalization procedures on principal component analys...
NIPS
2001
13 years 8 months ago
2001
In this paper we explore two quantitative approaches to the modelling of counterfactual reasoning
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...