From Event-B Specifications to Programs for Distributed Algorithms.

Mohamed Tounsi Mohamed Mosbah Dominique Méry

Published in: WETICE (2013)

Keyphrases

orders of magnitude
learning algorithm
cooperative
theoretical analysis
data mining
significant improvement
computational cost
distributed systems
recently developed
computationally efficient
times faster
formal specification
database
computational efficiency
mobile agents
peer to peer
worst case