Modeling and Verification of Automatic Multi-business Transactions.

Min Yuan Zhiqiu Huang Jian Zhao Xiang Li

Published in: SEKE (2009)

Keyphrases

business transactions
electronic commerce
decision making
web services
semi automatic
neural network
artificial intelligence
search engine
case study
bayesian networks
search algorithm
expert systems
data driven
model checking
fully automatic