153 search results - page 23 / 31 » A Study on the Design of Voice Navigation of Car Navigation ... |
HASE
2007
IEEE
13 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
ASE
2002
13 years 6 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
GRC
2007
IEEE
14 years 1 months ago
2007
IEEE
The bulk of contents out on the Internet continue to grow at an astounding pace. As computing and communications become ubiquitous, we are entering the Mobile Internet Computing e...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
No longer confined to our offices, schools, and homes, technology is expanding at an astonishing rate across our everyday public urban landscapes. From the visible (mobile phones,...
ICMI
2005
Springer
14 years 6 days ago
2005
Springer
Current methods of playlist creation and maintenance do not support user needs, especially in a mobile context. Furthermore, they do not scale: studies show that users with large ...