Interface Modeling for Quality and Resource Management

We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators such as performance and energy consumption. We base these aspec...

Full description

Bibliographic Details
Main Authors: Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2021-05-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/6128/pdf