2468 search results - page 443 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
139
click to vote
ACSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
158
click to vote
AAAI
1994
15 years 4 months ago
1994
Many AI problems can be modeled as constraint satisfaction problems (CSP), but many of them are actually dynamic: the set of constraints to consider evolves because of the environ...
149
click to vote
IDEAS
1999
IEEE
15 years 7 months ago
1999
IEEE
Decision support systems are important in leveraging information present in data warehouses in businesses like banking, insurance, retail and health-care among many others. The mu...
140
click to vote
MOBISYS
2010
ACM
15 years 5 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
147
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— We show that different flavors of TCP may be viewed as implementations of age-based scheduling disciplines. By parameterizing the scheduling disciplines of interest we are abl...