Sciweavers

13 search results - page 1 / 3
» A probabilistic logic based on the acceptability of gambles
Sort
View
IJAR
2007
68views more  IJAR 2007»
13 years 3 months ago
A probabilistic logic based on the acceptability of gambles
Peter R. Gillett, Richard B. Scherl, Glenn Shafer
ISIPTA
2005
IEEE
137views Mathematics» more  ISIPTA 2005»
13 years 9 months ago
Basing Probabilistic Logic on Gambles
This article presents a probabilistic logic whose sentences can be interpreted as asserting the acceptability of gambles described in terms of an underlying logic. This probabilis...
Peter R. Gillett, Richard B. Scherl, Glenn Shafer
CJ
2010
87views more  CJ 2010»
13 years 1 months ago
Resource-Aware Multimedia Content Delivery: A Gambling Approach
In this paper, we propose a resource-aware solution to achieving reliable and scalable stream diffusion in a probabilistic model, i.e., where communication links and processes are...
Mouna Allani, Benoît Garbinato, Fernando Ped...
FOSSACS
1999
Springer
13 years 8 months ago
Probabilistic Temporal Logics via the Modal Mu-Calculus
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
Murali Narasimha, Rance Cleaveland, S. Purushotham...
SAFECOMP
2009
Springer
13 years 10 months ago
Probabilistic Failure Propagation and Transformation Analysis
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
Xiaocheng Ge, Richard F. Paige, John A. McDermid