From a Verified Kernel towards Verified Systems.

Published in: APLAS (2010)

Keyphrases

management system
distributed systems
retrieval systems
real time
genetic algorithm
social networks
multimedia
training data
multi agent
data structure
support vector
expert systems
artificial neural networks
intelligent systems
computer systems
complex systems