<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Adaptable transition systems"^^ . "We present an essential model of adaptable transition systems inspired by white-box approaches to adaptation and based on foundational models of component based systems. The key feature of adaptable transition systems are control propositions, imposing a clear separation between ordinary, functional behaviours and adaptive ones. We instantiate our approach on interface automata yielding adaptable interface automata, but it may be instantiated on other foundational models of component-based systems as well. We discuss how control propositions can be exploited in the specification and analysis of adaptive systems, focusing on various notions proposed in the literature, like adaptability, control loops, and control synthesis."^^ . "2013" . . "7841" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "Andrea"^^ . "Corradini"^^ . "Andrea Corradini"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . . . . . "Adaptable transition systems (PDF)"^^ . . . "wadt2012.pdf"^^ . . . "Adaptable transition systems (Other)"^^ . . . . . . "indexcodes.txt"^^ . . . "Adaptable transition systems (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Adaptable transition systems (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Adaptable transition systems (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Adaptable transition systems (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1535 \n\nAdaptable transition systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .