Towards distributed reasoning for behavioral optimization
We propose an architecture which supports the behavioral self-optimization of complex systems. In this architecture we bring together specification-based reasoning and the framework of ant colony optimization (ACO). By this we provide a foundation for distributed reasoning about different properties...
Autor principal: | Cebulla, Michael |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2006
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24001 |
Aporte de: |
Ejemplares similares
-
An ACO approach for the Parallel Machines Scheduling Problem
por: Gatica, Claudia R., et al.
Publicado: (2008) -
Ant colonies using arc consistency techniques for the set partitioning problem
por: Crawford, Broderick, et al.
Publicado: (2006) -
An ACO model for a non-stationary formulation of the single elevator problem
por: Molina, Silvia, et al.
Publicado: (2007) -
New ACO algorithm for image edge detection
Publicado: (2014) -
New ACO algorithm for image edge detection
por: Martínez, C.A., et al.