A framework for the semantics of behavioral contracts.

Ashley T. McNeile

Published in: BM-FA (2010)

Keyphrases

logical framework
main contribution
data mining
social networks
probabilistic model
lightweight
theoretical framework
databases
genetic algorithm
computer vision
supply chain
programming language
conceptual framework
formal semantics
reasoning mechanisms
ontological framework