Login / Signup
Verifying the correctness of remote executions: from wild implausibility to near practicality.
Michael Walfish
Published in:
HotDep (2013)
Keyphrases
</>
real time
model checking
data mining
artificial intelligence
remote server
bayesian networks
special case
remote control