Documentos de Gerostathopoulos I. | REDI

Regresar

Mostrando 2 resultados de: 2

Filtros aplicados

Publisher: "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"

Subtipo de publicación

Área temáticas

Ciencias de la computación(1)

Métodos informáticos especiales(1)

Área de conocimiento

Ciencias de la computación(1)

Inteligencia artificial(1)

Optimización matemática(1)

Año de Publicación

Origen

Palabras Claves

Adaptive systems(1)

Architecture refinement(1)

Assume-guarantee(1)

Autonomic Systems(1)

Formalization of invariant patterns for the invariant refinement method

Abstract: Refining high-level system invariants into lower-level software obligations has been successfully em

Palabras claves:

Architecture refinement, Assume-guarantee, requirements

Bures T., Gerostathopoulos I., Keznikl J., Petr Tůma, Plášil F.

Supporting performance awareness in autonomous ensembles

Abstract: The ASCENS project works with systems of self-aware, selfadaptive and self-expressive ensembles. Per

Palabras claves:

Adaptive systems, Autonomic Systems, Modeling, Monitoring, performance

Bulej L., Bures T., Gerostathopoulos I., Horký V., Keznikl J., Marek L., Petr Tůma, Tribastone M., Tschaikowski M.