Framework composition conformance via refinement checking.

Rodrigo Ramos Augusto Sampaio Alexandre Mota

Published in: SAC (2008)

Keyphrases

high level
main contribution
theoretical framework
database systems
reinforcement learning
computational framework
framework enables
databases
machine learning
lightweight
conceptual framework