2116 search results - page 14 / 424 » On Probabilistic Alternating Simulations |
CSSE
2002
IEEE
2002
IEEE
Characteristics of assured service and an alternative RIO scheme in differentiated services networks
13 years 10 months ago
Assured Service, a service model of Internet Differentiated Services (DiffServ) architecture, is not so well accommodated by the current Internet environment. This is because the I...
CSL
2007
Springer
14 years 4 months ago
2007
Springer
We define strong monads of continuous (lower, upper) previsions, and of forks, modeling both probabilistic and non-deterministic choice. This is an elegant alternative to recent p...
IJUFKS
2000
13 years 10 months ago
2000
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are give...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
EOR
2010
13 years 10 months ago
2010
We discuss tournaments in terms of their efficiency as probabilistic mechanisms that select high-quality alternatives ("players") in a noisy environment. We use two crit...