Login / Signup

Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation.

Guillaume ClaretLourdes Del Carmen González-HuescaYann Régis-GianasBeta Ziliani
Published in: ITP (2013)
Keyphrases
  • lightweight
  • handheld devices
  • dos attacks
  • wireless sensor networks
  • maximum likelihood
  • theorem proving
  • social networks
  • mathematical model
  • cost effective
  • simulation model