Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
Andy SchürrPublished in: Modellierung (2018)
Keyphrases
- graph transformation
- computationally efficient
- information retrieval
- information systems
- times faster
- computational cost
- knowledge based systems
- worst case
- optimization problems
- software engineering
- small world
- constraint satisfaction problems
- theoretical analysis
- neural network
- significant improvement
- search algorithm
- web services
- website
- genetic algorithm
- machine learning