Model based estimation and verification of mobile device performance.

Gopalakrishna Raghavan Ari Salomaki Raimondas Lencevicius

Published in: EMSOFT (2004)

Keyphrases

mobile devices
context aware
accurate estimation
mobile phone
learning activities
estimation algorithm
smart phones
location aware
real time
data driven
model checking
signature verification