4586 search results - page 816 / 918 » Computing stable models in parallel |
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Internet users such as individuals and organizations are subject to different types of epidemic risks such as worms, viruses, and botnets. To reduce the probability of risk, an ...
114
click to vote
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
109
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
Mutual exclusion is a fundamental distributed coordination problem. Shared-memory mutual exclusion research focuses on local-spin algorithms and uses the remote memory references ...
150
click to vote
CCGRID
2004
IEEE
15 years 5 months ago
2004
IEEE
Next generation applications and architectures (for example, Grids) are driving radical changes in the nature of traffic, service models, technology, and cost, creating opportunit...
116
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...