233 search results - page 47 / 47 » Photos on the go: a mobile application case study |
WWW
2004
ACM
14 years 7 months ago
2004
ACM
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...
WORDS
2003
IEEE
13 years 11 months ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...
DSN
2002
IEEE
13 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...