Sciweavers

1880 search results - page 316 / 376
» Mobile Application Profiling for Connected Mobile Devices
Sort
View
CAV
2009
Springer
150views Hardware» more  CAV 2009»
16 years 5 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur
CHI
2006
ACM
16 years 5 months ago
Balance pass: service design for a healthy college lifestyle
This paper describes the design of a service that provides nutritional feedback to female college freshmen. A variety of background research methods-food journals, competitive pro...
Aditya Chand, Monica Gonzalez, Julian Missig, Puri...
CHI
2004
ACM
16 years 5 months ago
MiniMedia surfer: browsing video segments on small displays
It is challenging to browse multimedia on mobile devices with small displays. We present MiniMedia Surfer, a prototype application for interactively searching a multimedia collect...
Maryam Kamvar, Patrick Chiu, Lynn Wilcox, Sandeep ...
DCC
2006
IEEE
16 years 4 months ago
Low-Complexity Compression of Short Messages
We describe a low-complexity scheme for lossless compression of short text messages. The method uses arithmetic coding and a specific statistical context model for prediction of s...
Stephan Rein, Clemens Gühmann, Frank H. P. Fi...
AUTOMOTIVEUI
2009
ACM
15 years 11 months ago
Towards a flexible UI model for automotive human-machine interaction
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
Guido M. de Melo, Frank Honold, Michael Weber, Mar...