Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulri...
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...
Abstract— In this paper, the concept of restricted real perturbation values of a complex matrix triplet is introduced, and a formula for computing lower bounds of these values is...
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...