Login / Signup

Toward Verified Execution Environments.

William R. BevierWarren A. Hunt Jr.William D. Young
Published in: IEEE Symposium on Security and Privacy (1987)
Keyphrases
  • dynamic environments
  • highly dynamic environments
  • real world
  • machine learning
  • digital libraries
  • highly dynamic
  • database
  • similarity measure
  • user interface
  • business process
  • computing environments
  • execution model