Deductive Runtime Certification.

Konstantine Arkoudas Martin C. Rinard

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

object oriented
third party
database
real time
databases
real world
information retrieval
computer vision
decision making
image processing
web services
management system
deductive reasoning