Volume 5; Issue 1

2

ERA

Year:
2011
Language:
english
File:
PDF, 872 KB
english, 2011
4

Human-powered sorts and joins

Year:
2011
Language:
english
File:
PDF, 1.53 MB
english, 2011
5

Verifying computations with streaming interactive proofs

Year:
2011
Language:
english
File:
PDF, 379 KB
english, 2011
6

Explanation-based auditing

Year:
2011
Language:
english
File:
PDF, 663 KB
english, 2011