We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...
Jingshu Huang, Brian Bue, Avin Pattath, David S. E...
We present a study of using camera-phones and visual-tags to access mobile services. Firstly, a userexperience study is described in which participants were both observed learning ...
Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy,...
We present a study investigating the use of vibrotactile feedback for touch-screen keyboards on PDAs. Such keyboards are hard to use when mobile as keys are very small. We conduct...
Usage-awaRe Interactive Content Adaptation (URICA) is an automatic technique that adapts content for display on mobile devices based on usage semantics. URICA allows users who are...