4117 search results - page 670 / 824 » On the Satisfiability of Complex Constraints |
186
click to vote
PODC
2004
ACM
16 years 6 hour ago
2004
ACM
We introduce the distributed gradient clock synchronization problem. As in traditional distributed clock synchronization, we consider a network of nodes equipped with hardware clo...
175
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
154
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Peer-to-peer (P2P) systems are becoming increasingly popular and complex, serving millions of users today. However, the design of current unstructured P2P systems does not take ful...
174
click to vote
WIDM
2003
ACM
15 years 11 months ago
2003
ACM
Query rewriting using views is an essential issue in data integration. A number of algorithms, e.g., the bucket algorithm, the inverse rules algorithm, the SVB algorithm and the M...
169
click to vote
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
A new public-key model for resettable zero-knowledge (rZK) protocols, which is an extension and generalization of the upper-bounded public-key (UPK) model introduced by Micali and ...