12707 search results - page 2259 / 2542 » A Distributed Arc-Consistency Algorithm |
155
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Online collaboration and sharing is the central theme of many webbased services that create the so-called Web 2.0 phenomena. Using the Internet as a computing platform, many Web 2...
171
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Say you are looking for information about a particular person. A search engine returns many pages for that person's name but which pages are about the person you care about, ...
147
Voted
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Providing video on demand (VoD) service over the Internet in a scalable way is a challenging problem. In this paper, we propose P2Cast - an architecture that uses a peer-to-peer a...
169
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
The Web graph is a giant social network whose properties have been measured and modeled extensively in recent years. Most such studies concentrate on the graph structure alone, an...
213
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...