A Formal Framework for State Continuity of Protected Modules.

Jiabin Zhu Yan Xiong Wenchao Huang

Published in: BigCom (2018)

Keyphrases

main contribution
image processing
lightweight
meta level
databases
neural network
search engine
multiscale
state space
building blocks
computational model
formal model
framework enables