An Architecture for Kernel-Level Verification of Executables at Run Time.

Luigi Catuogno Ivan Visconti

Published in: Comput. J. (2004)

Keyphrases

higher level
kernel function
model checking
gaussian processes
levels of abstraction
reproducing kernel hilbert space
data mining
machine learning
information retrieval
website
feature extraction
support vector
feature space
low level
temporal logic