Execution Models for Choreographies and Cryptoprotocols

Marco Carbone Joshua D. Guttman

Published in: PLACES (2009)

Keyphrases

probabilistic model
data sets
experimental data
database
real time
neural network
face recognition
reinforcement learning
statistical models
random fields