2929 search results - page 220 / 586 » Rich Interaction: Issues |
179
click to vote
GROUP
1999
ACM
15 years 11 months ago
1999
ACM
This paper addresses issues of user interface design, relating to ease of use, of handheld CSCW. In particular, we are concerned with the requirements that arise from situations i...
167
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
178
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
—There is a global consensus on the need to reduce our collective carbon footprint. While much research attention has focused on developing alternative energy sources, automotive...
182
Voted
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
198
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...