Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification.

Eric Schmieders Andreas Metzger

Published in: ServiceWave (2011)

Keyphrases

service compositions
service providers
web services
model checking
genetic algorithm
universal relation
neural network
website
service composition
concurrent systems
real world
artificial intelligence
face verification
signature verification