Generic Efficient Dynamic Proofs of Retrievability.

Mohammad Etemad Alptekin Küpçü

Published in: CCSW (2016)

Keyphrases

computationally expensive
theorem proving
databases
real world
machine learning
artificial intelligence
multi agent systems
domain specific
dynamic environments
cost effective
theorem prover
application specific