Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...
Michael A. Kozuch, Michael Kaminsky, Michael P. Ry...
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
From 28 May to 1 June 2007, a seminar on 'Information Visualization–HumanCentered Issues in Visual Representation, Interaction, and Evaluation' took place at the Inter...
Andreas Kerren, John T. Stasko, Jean-Daniel Fekete...
We study the problem of automatic “reduced reference” image quality assessment algorithms from the point of view of image information change. Algorithms that measure differenc...
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
Kevin J. Hoffman, Murali Krishna Ramanathan, Patri...