1561 search results - page 159 / 313 » Probability Theory on IF Events |
SSS
2010
Springer
14 years 8 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
99
Voted
HUC
2009
Springer
14 years 8 months ago
2009
Springer
We present two studies of participatory sensing in the wild, in which groups of young people used sensors to collect environmental data along with contextual information such as p...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
ALT
2003
Springer
15 years 7 months ago
2003
Springer
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
78
Voted
SIGMETRICS
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we consider a generic model of computational grids, seen as several clusters of homogeneous processors. In such systems, a key issue when designing efficient job al...