Formalization and Verification of Coherence Protocols with the Gamma Framework.

David Mentré Daniel Le Métayer Thierry Priol

Published in: PDSE (2000)

Keyphrases

main contribution
database systems
logical framework
theoretical framework
data sets
neural network
real world
data mining
artificial intelligence
search engine
software engineering
lightweight
image restoration
distributed databases
face verification