An Alloy Verification Model for Consensus-Based Auction Protocols.

Saber Mirzaei Flavio Esposito

Published in: ICDCS Workshops (2015)

Keyphrases

probabilistic model
mathematical model
knowledge base
objective function
cost function
hidden markov models
probability distribution
statistical model
formal model
learning algorithm
social networks
web services
high level
parameter estimation
computational model
neural network model