Computation integrity in mobile cloud: Running probabilistically checkable proof on Android.

Clinton Walker Qijun Gu Terry Penner

Published in: CollaborateCom (2013)

Keyphrases

mobile devices
mobile applications
smart phones
mobile phone
mobile platform
mobile learning
mobile apps
location aware
mobile platforms
cloud computing
android application
context aware
databases
mobile environments
mobile technologies
data sets
theorem proving
linear logic
computing environments