61 search results - page 13 / 13 » Mechanical Verification of Hypercube Algorithms |
115
click to vote
ALGORITHMICA
2004
15 years 2 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...