Sign in

Formalizing Mobile Cloud Service Migration with Event-B.

Guoping ZhangLuxi ZhaoWeishan ZhangKuiyi YangShouchao 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