Sciweavers

97 search results - page 3 / 20
» Making Nondeterminism Unambiguous
Sort
View
CACM
2007
88views more  CACM 2007»
13 years 5 months ago
The choice uncertainty principle
: The choice uncertainty principle says that it is impossible to make an unambiguous choice between near-simultaneous events under a deadline. This principle affects the design of ...
Peter J. Denning
APAL
2008
104views more  APAL 2008»
13 years 5 months ago
Infinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
Paul Blain Levy
CONCUR
2007
Springer
13 years 11 months ago
Making Random Choices Invisible to the Scheduler
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
Konstantinos Chatzikokolakis, Catuscia Palamidessi
MIE
2008
95views Healthcare» more  MIE 2008»
13 years 7 months ago
Diagnostic Games: from Adequate Formalization of Clinical Experience to Structure Discovery
A method of obtaining well-founded and reproducible results in clinical decision making is presented. It is based on "diagnostic games", a procedure of elicitation and fo...
Michael A. Shifrin, Eva I. Kasparova
CHI
2002
ACM
14 years 6 months ago
What makes people trust online gambling sites?
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
Bhiru Shelat, Florian N. Egger