The heterogeneous multiprocessor task partitioning with replication problem involves determining a mapping of recurring tasks upon a set consisting of different processing units i...
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
Abstract. We study an extension of the set cover problem, the connected set cover problem, the problem is to find a set cover of minimal size that satisfies some connectivity con...
This paper presents SpiraList, a focus+context visualization technique for interacting with large lists on handheld devices. SpiraList has been specifically designed to fit the co...
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...