4555 search results - page 626 / 911 » Deductive Algorithmic Knowledge |
203
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
The use of blogs to track and comment on real world (political, news, entertainment) events is growing. Similarly, as more individuals start relying on the Web as their primary in...
171
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Web processes must often operate in volatile environments where the quality of service parameters of the participating service providers change during the life time of the process...
177
Voted
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
288
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
The ALLDIFFERENT constraint was one of the first global constraints [17] and it enforces the conjunction of one binary constraint, the not-equal constraint, for every pair of varia...
185
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...