In this paper we propose a wavelet based method for compressing volumetric data with little
loss in quality allowing fast random access to individual voxels within the volume. Such a …

The size and complexity of software systems make integration of the new/modified
requirements to the software system costly and time consuming. The impact of requirements …

The importance of modelling the dynamic characteristics of the architecture of software
systems has long been recognised. However, the nature of the dynamics of service-oriented …

We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic
elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully …

A hierarchical approach for modelling the adaptability features of complex systems is
introduced. It is based on a structural level S, describing the adaptation dynamics of the …

Building adaptive systems with predictable emergent behavior is a difficult task and it is
becoming a critical need. The research community has accepted the challenge by …

Self-repairing (or healing) systems are systems equipped with a mechanism that monitors
the system behaviour to determine whether it behaves within prefixed parameters. If a …

Abstract We extend Constraint Automata by replacing boolean constraints with semiring-
based soft constraints. The obtained general formal tool can be used to represent …

The importance of modelling the dynamic architectural characteristics of software systems
has long been recognised. However, the nature of the dynamic architectural characteristics …

Reconfigurability, understood as the ability of a system to behave differently in different
modes of operation and commute between them along its lifetime, is a cross-cutting concern …