780 search results - page 3 / 156 » Compositional Quantitative Reasoning |
104
Voted
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
115
Voted
CSFW
2005
IEEE
15 years 8 months 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...
113
Voted
BMCBI
2007
15 years 2 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...
124
Voted
NIPS
2001
15 years 4 months ago
2001
In this paper we explore two quantitative approaches to the modelling of counterfactual reasoning
158
Voted
TACAS
2010
Springer
15 years 18 days 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...