A new consistency protocol implemented in the CAliF system.

Hervé Guyennet Jean-Christophe Lapayre Michel Tréhel

Published in: HiPC (1997)

Keyphrases

formal analysis
real time
data sets
databases
genetic algorithm
learning algorithm
file transfer