Refinement and Separation Contexts.

Ivana Mijajlovic Noah Torp-Smith Peter W. O'Hearn

Published in: FSTTCS (2004)

Keyphrases

artificial intelligence
database systems
refinement process
database
real time
data sets
databases
genetic algorithm
metadata
multimedia
case study
social context
current context