Formal Validation of the GUARDS Inter-Consistency Mechanism.

Cinzia Bernardeschi Alessandro Fantechi Stefania Gnesi

Published in: SAFECOMP (1999)

Keyphrases

search algorithm
databases
information retrieval
selection mechanism
data mining
decision making
three dimensional
path consistency