1160 search results - page 180 / 232 » Applying Constraint Solving to the Management of Distributed... |
DEBS
2003
ACM
15 years 5 months ago
2003
ACM
Database systems have been designed to manage business critical information and make this information accessible on request to connected clients. There is, however, an ever-increa...
107
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Skyline queries are important due to their usefulness in many application domains. However, by increasing the number of attributes, the probability that a tuple dominates another ...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Self-healing gradients are distributed estimates of the distance from each device in a network to the nearest device designated as a source, and are used in many pervasive computi...