2254 search results - page 341 / 451 » Computing the minimal covering set |
151
click to vote
PERCOM
2009
ACM
16 years 24 days ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
154
click to vote
SAC
2009
ACM
16 years 24 days ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
178
click to vote
ICDCN
2009
Springer
16 years 23 days ago
2009
Springer
The research community has witnessed a large interest in monitoring large scale distributed systems. In these applications typically we wish to monitor a global system condition wh...
156
click to vote
PAM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Monitoring end-to-end paths in an overlay network is essential for evaluating end-system performance and for troubleshooting anomalous behavior. However, conducting measu...
225
click to vote
CONCUR
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...