Checking concurrent contracts with aspects.

Eric Kerfoot Steve McKeever

Published in: SAC (2010)

Keyphrases

supply chain
artificial intelligence
multiresolution
real time
data mining
machine learning
search engine
decision making
decision trees
image segmentation
bayesian networks
computational complexity
main aspects
concurrent execution