Knowledge-Based Verification of Service Compositions - An SMT Approach.

Sven Walther Heike Wehrheim

Published in: ICECCS (2013)

Keyphrases

service compositions
web services
service providers
model checking
service composition
expert systems
formal verification
statistical machine translation
face verification
data mining
real world
decision trees
search algorithm
response time
database
verification method
concurrent systems
neural network