This paper presents the Xrefactory project. Xrefactory is a plugin to editors and Integrated Development Environments (IDE) providing a variety of source understanding and refacto...
This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to...
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
This paper presents the integration of a workflow management system into the VL-e Medical software architecture. Workflows are designed with the Taverna workbench, and then execute...