1382 search results - page 241 / 277 » Formal Analysis of Online Algorithms |
169
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
133
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
116
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We study epidemic schemes in the context of collaborative data delivery. In this context, multiple chunks of data reside at different nodes, and the challenge is to simultaneousl...
115
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed Hash Tables (DHTs) have been used in a variety of applications, but most DHTs so far have opted to solve lookups with multiple hops, which sacrifices performance in o...
126
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...