Effective verification of systems with a dynamic number of components.

Pavlína Vareková Pavel Moravec Ivana Cerná Barbora Zimmerova

Published in: SAVCBS (2007)

Keyphrases

computational complexity
small number
real time
neural network
social networks
distributed systems
computer systems
building blocks
genetic algorithm
case study
multiscale
digital libraries
expert systems
management system
dynamic environments
complex systems