Login / Signup
Formalizing Mobile Cloud Service Migration with Event-B.
Guoping Zhang
Luxi Zhao
Weishan Zhang
Kuiyi Yang
Shouchao Tan
Published in:
UIC/ATC/ScalCom (2015)
Keyphrases
</>
mobile services
cloud services
mobile devices
cloud computing
mobile phone
mobile web
context aware
data center
mobile technologies
smart phones
database management
mobile users