Sciweavers

737 search results - page 113 / 148
» Generative approaches for application tailoring of mobile de...
Sort
View
CAV
2009
Springer
150views Hardware» more  CAV 2009»
14 years 8 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
DCC
2006
IEEE
14 years 7 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...
AINA
2006
IEEE
13 years 11 months ago
Refining WiFi Indoor Positioning Renders Pertinent Deploying Location-Based Multimedia Guide
If outdoor positioning is widely treated and quite precise, indoor or more generally in heterogeneous environment, the positioning (and also mobility prediction) requires conseque...
Frederic Lassabe, Philippe Canalda, Pascal Chatonn...
ISCAPDCS
2008
13 years 9 months ago
QoS for Networked Heterogeneous Real-Time Embedded Systems
--With the development of networked real-time embedded systems, the ability to guarantee traffic throughput rates and to decrease delay, energy, and loss rates, is particularly imp...
Meikang Qiu, Jiande Wu, Chun Jason Xue, Jingtong H...
ACIVS
2005
Springer
14 years 1 months ago
An Image Sensor with Global Motion Estimation for Micro Camera Module
We describe in this paper the building of a vision sensor able to provide video capture and the associated global motion between two consecutive frames. Our objective is to propose...
F. Gensolen, Guy Cathebras, Lionel Martin, Michel ...