Comprehensive Verification Framework for Dependability of Self-optimizing Systems.

Yuhong Zhao Martin Kardos Simon Oberthür Franz J. Rammig

Published in: ATVA (2005)

Keyphrases

complex systems
main contribution
conceptual framework
databases
expert systems
distributed systems
learning systems
neural network
artificial intelligence
search engine
case study
digital libraries
hidden markov models
response time
lightweight
theoretical framework