1302 search results - page 111 / 261 » From Liveness to Promptness |
HOTOS
2009
IEEE
14 years 3 days ago
2009
IEEE
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...
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
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...
IVS
2007
13 years 8 months ago
2007
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...
ICASSP
2011
IEEE
12 years 12 months ago
2011
IEEE
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...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
— 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...