Towards verification of computation orchestration.

Jin Song Dong Yang Liu Jun Sun Xian Zhang

Published in: Formal Aspects Comput. (2014)

Keyphrases

web services
database
special case
neural network
information retrieval
information systems
decision trees
multiscale
information technology
model checking
parallel computation