Formal Protocol Description: Model and validation.

Noureddine Boudriga Sihem Guemara-ElFatmi

Published in: RelMiCS (1997)

Keyphrases

formal model
high level
probabilistic model
computational model
experimental data
real time
statistical model
formal models
formal analysis
simulation model
mathematical model
theoretical framework
privacy preserving
em algorithm
cost function
data model
digital libraries
genetic algorithm
neural network
data sets