Towards an assume-guarantee theory for adaptable systems.
Paola InverardiPatrizio PelliccioneMassimo TivoliPublished in: SEAMS (2009)
Keyphrases
- management system
- real world
- artificial intelligence
- information systems
- knowledge based systems
- artificial neural networks
- theoretical basis
- information theory
- computational model
- intelligent systems
- distributed systems
- evolutionary algorithm
- databases
- metadata
- decision making
- computer vision
- data mining
- neural network