Towards trusted systems from the ground up.

Vivek Haldar Michael Franz

Published in: ACM SIGOPS European Workshop (2002)

Keyphrases

neural network
expert systems
distributed systems
real time
artificial intelligence
information systems
multiscale
data structure
logic programs
computer systems
building blocks
wireless networks
computational models
computing systems
systems require