5838 search results - page 241 / 1168 » A File System for System Programming in Ubiquitous Computing |
129
click to vote
JAIR
2008
15 years 4 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
143
click to vote
CHI
2001
ACM
16 years 4 months ago
2001
ACM
Several recent research systems have provided interactive three-dimensional (3D) visualisations for supporting everyday work such as file and document management. But what improve...
119
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...
125
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Microprocessors with built-in Liquid Crystal Device (LCD) controllers and equipped with Flash ROM are common in mobile computing applications. In the first part of the paper, a so...
164
click to vote
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...