1036 search results - page 136 / 208 » Ubiquitous Verification of Ubiquitous Systems |
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
The ubiquitous application of eye tracking is precluded by the requirement of dedicated and expensive hardware, such as infrared high definition cameras. Therefore, systems based s...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
In this paper I describe the Associative PDA 2.0, a mobile system for Personal Information Management (PIM), based on an associative information network. In addition to associate ...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
People have developed a variety of conventions for negotiating face-to-face interruptions. The physical distribution of teams, however, together with the use of computer-mediated ...