Do You Get What You Pay For? Using Proof-of-Work Functions to Verify Performance Assertions in the Cloud.

Falk Koeppe Jörg Schneider

Published in: CloudCom (2010)

Keyphrases

knowledge base
artificial intelligence
query processing
theorem prover
theorem proving
video sequences
lower bound
mobile devices
linear logic