Offline Trace Checking of Quantitative Properties of Service-Based Applications.

Domenico Bianculli Carlo Ghezzi Srdan Krstic Pierluigi San Pietro

Published in: CoRR (2014)

Keyphrases

real time
desirable properties
web services
qualitative and quantitative
artificial intelligence
management system
quantitative and qualitative
topological properties
neural network
information retrieval
genetic algorithm
multi agent
service oriented
quantitative measures