1316 search results - page 199 / 264 » An approach to interactive media system for mobile devices |
IFM
2010
Springer
13 years 8 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
HRI
2006
ACM
14 years 4 months ago
2006
ACM
Domestic service robots have long been a staple of science fiction and commercial visions of the future. Until recently, we have only been able to speculate about what the experie...
ACMACE
2008
ACM
14 years 12 days ago
2008
ACM
In this paper, we present Power Agent - a pervasive game designed to encourage teenagers and their families to reduce energy consumption in the home. The idea behind this mobile p...
ACMDIS
2008
ACM
14 years 12 days ago
2008
ACM
The StoryBank project is examining technologies and practices to allow digitally impoverished communities to take part in the user-generated content revolution. The approach invol...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...