3207 search results - page 453 / 642 » Design approach for touch based user interfaces |
149
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
190
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
140
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
In this paper we describe a prototypical system that is able to generate document annotations based on eye movement data. Document parts can be annotated as being read or skimmed....
147
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We introduce research on information scraps ? short, self-contained personal notes that fall outside of traditional filing schemes. We report on a preliminary study of information...
282
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...