Login / Signup
Model-carrying code: a practical approach for safe execution of untrusted applications.
R. Sekar
V. N. Venkatakrishnan
Samik Basu
Sandeep Bhatkar
Daniel C. DuVarney
Published in:
SOSP (2003)
Keyphrases
</>
computational model
mathematical model
high level
probability distribution
sensitivity analysis
formal model
data flow
case study
artificial neural networks
probabilistic model
management system
statistical model
experimental data
hierarchical structure
metamodel