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