Using Abstract State Machines to Specify a Protocol thas Implements the GWO Consistency Model.

Claudio Acuña Yadran Eterovic

Published in: PDCS (2006)

Keyphrases

high level
statistical model
probabilistic model
mathematical model
multiscale
prior knowledge
decision making
web services
objective function
control system
security model