2550 search results - page 477 / 510 » Difference Decision Diagrams |
137
click to vote
TARK
2007
Springer
15 years 8 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
131
Voted
BROADNETS
2006
IEEE
15 years 8 months ago
2006
IEEE
— Medium access control (MAC) protocols have been studied under different contexts for several years now. In all these MAC protocols, nodes make independent decisions on when to ...
121
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we present an initial analysis of job failures in a large-scale data-intensive Grid. Based on three representative periods in production, we characterize the interar...
109
click to vote
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
— Reinforcement Learning (RL) provides a promising new approach to systems performance management that differs radically from standard queuing-theoretic approaches making use of ...
113
click to vote
ICDM
2006
IEEE
15 years 8 months ago
2006
IEEE
Much work on skewed, stochastic, high dimensional, and biased datasets usually implicitly solve each problem separately. Recently however, we have been approached by Texas Commiss...