A Formal Model of a Run-Time Kernel for Ravenscar.

Kristina Lundqvist Lars Asplund

Published in: RTCSA (1999)

Keyphrases

formal model
kernel function
kernel methods
predicate calculus
feature space
component analysis
kernel matrix
security properties
support vector
kernel machines
security patterns
mutual subspace method