Sciweavers

2821 search results - page 105 / 565
» Tracing a single user
Sort
View
GLVLSI
2009
IEEE
125views VLSI» more  GLVLSI 2009»
14 years 1 months ago
Spatial and temporal design debug using partial MaxSAT
Design debug remains one of the major bottlenecks in the VLSI design cycle today. Existing automated solutions strive to aid engineers in reducing the debug effort by identifying ...
Yibin Chen, Sean Safarpour, Andreas G. Veneris, Jo...
BCSHCI
2007
13 years 11 months ago
Thanks for the memory
This paper reports the trial of a memory prosthesis, SenseCam, as a resource for digital narratives. Over a period of one week, six participants were asked to use SenseCams to cap...
Richard H. R. Harper, Dave W. Randall, N. Smythe, ...
WAIM
2010
Springer
13 years 8 months ago
Query Processing with Materialized Views in a Traceable P2P Record Exchange Framework
Materialized views which are derived from base relations and stored in the database are often used to speed up query processing. In this paper, we leverage them in a traceable peer...
Fengrong Li, Yoshiharu Ishikawa
PADL
2009
Springer
14 years 10 months ago
Declarative Programming of User Interfaces
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
Christof Kluß, Michael Hanus
CCS
2007
ACM
14 years 3 months ago
Protecting users from "themselves"
Computer usage and threat models have changed drastically since the advent of access control systems in the 1960s. Instead of multiple users sharing a single file system, each us...
William Enck, Sandra Rueda, Joshua Schiffman, Yoge...