{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:44:32Z","timestamp":1762875872217,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T00:00:00Z","timestamp":1492992000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004386","name":"Universiti Malaya","doi-asserted-by":"publisher","award":["UM.C\/625\/1\/HIR\/MOE\/FCSIT\/03"],"award-info":[{"award-number":["UM.C\/625\/1\/HIR\/MOE\/FCSIT\/03"]}],"id":[{"id":"10.13039\/501100004386","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s11227-017-2028-4","type":"journal-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T10:53:38Z","timestamp":1493031218000},"page":"4466-4492","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal analysis of seamless application execution in mobile cloud computing"],"prefix":"10.1007","volume":"73","author":[{"given":"Ejaz","family":"Ahmed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anjum","family":"Naveed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siti Hafizah","family":"Ab Hamid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdullah","family":"Gani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Salah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,24]]},"reference":[{"issue":"1","key":"2028_CR1","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1109\/JSYST.2015.2442994","volume":"11","author":"Y Li","year":"2017","unstructured":"Li Y, Chen M, Dai W, Qiu M (2017) Energy optimization with dynamic task scheduling mobile cloud computing. IEEE Syst J 11(1):96\u2013105","journal-title":"IEEE Syst J"},{"key":"2028_CR2","first-page":"1","volume":"16","author":"S Abolfazli","year":"2013","unstructured":"Abolfazli S, Sanaei Z, Ahmed E, Gani A, Buyya R (2013) Cloud-based augmentation for mobile devices: motivation, taxonomies, and open challenges. IEEE Commun Surv Tutor 16:1\u201332","journal-title":"IEEE Commun Surv Tutor"},{"key":"2028_CR3","doi-asserted-by":"crossref","unstructured":"Saad HB, Kassar M, Sethom K (2016) Always best connected and served based scheme in mobile cloud computing. In: 2016 3rd Smart Cloud Networks Systems (SCNS), pp 1\u20138","DOI":"10.1109\/SCNS.2016.7870560"},{"issue":"3","key":"2028_CR4","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MCOM.2017.1600247CM","volume":"55","author":"D Mazza","year":"2017","unstructured":"Mazza D, Tarchi D, Corazza GE (2017) A unified urban mobile cloud computing offloading mechanism for smart cities. IEEE Commun Mag 55(3):30\u201337","journal-title":"IEEE Commun Mag"},{"key":"2028_CR5","doi-asserted-by":"crossref","unstructured":"Justino T, Buyya R (2014) Outsourcing resource-intensive tasks from mobile apps to clouds: android and aneka integration. In: IEEE International Conference on Cloud Computing in Emerging Markets (CCEM), 2014. IEEE, pp 1\u20138","DOI":"10.1109\/CCEM.2014.7015494"},{"key":"2028_CR6","doi-asserted-by":"crossref","unstructured":"Ahmed A, Ahmed E (2016) A survey on mobile edge computing. In: 10th International Conference on Intelligent Systems and Control (ISCO). IEEE, pp 1\u20138","DOI":"10.1109\/ISCO.2016.7727082"},{"key":"2028_CR7","doi-asserted-by":"crossref","unstructured":"Tawalbeh LA, Bakhader W, Mehmood R, Song H (2016) Cloudlet-based mobile cloud computing for healthcare applications. In: IEEE Global Communications Conference (GLOBECOM), pp 1\u20136","DOI":"10.1109\/GLOCOM.2016.7841665"},{"key":"2028_CR8","doi-asserted-by":"crossref","unstructured":"Jararweh Y, Doulat A, AlQudah O, Ahmed E, Al-Ayyoub M, Benkhelifa E (2016) The future of mobile cloud computing: integrating cloudlets and mobile edge computing. In: Telecommunications (ICT), 2016 23rd International Conference on. IEEE, pp 1\u20135","DOI":"10.1109\/ICT.2016.7500486"},{"key":"2028_CR9","doi-asserted-by":"crossref","unstructured":"Gill QK, Kaur K (Sept 2016) A computation offloading scheme for performance enhancement of smart mobile devices for mobile cloud computing. In: International Conference on Next Generation Intelligent Systems (ICNGIS), pp 1\u20136","DOI":"10.1109\/ICNGIS.2016.7854047"},{"key":"2028_CR10","unstructured":"U.\u00a0of\u00a0Strathclyde\u00a0Glasgow. (2013, Access on 12 June) Wireless limitations. \n                        http:\/\/www.strath.ac.uk\/it\/services\/wireless\/wirelesslimitations\/"},{"key":"2028_CR11","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1016\/j.simpat.2014.07.001","volume":"50","author":"E Ahmed","year":"2015","unstructured":"Ahmed E, Akhunzada A, Whaiduzzaman M, Gani A, Hamid Ab, H S, Buyya R (2015) Network-centric performance analysis of runtime application migration in mobile cloud computing. Simul Model Pract Theory 50:42\u201356","journal-title":"Simul Model Pract Theory"},{"key":"2028_CR12","doi-asserted-by":"crossref","unstructured":"Crago S, Dunn K, Eads P, Hochstein L, Kang D.-I., Kang M, Modium D, Singh K, Suh J, Walters JP (2011) Heterogeneous cloud computing. In: IEEE International Conference on Cluster Computing (CLUSTER). IEEE, pp 378\u2013385","DOI":"10.1109\/CLUSTER.2011.49"},{"key":"2028_CR13","doi-asserted-by":"crossref","unstructured":"Verbelen T, Simoens P, De\u00a0Turck F, Dhoedt B (2012) Cloudlets: bringing the cloud to the mobile user. In: Proceedings of the third ACM Workshop on Mobile Cloud Computing and Services, (MCS\u201912), New York, USA. ACM, pp 29\u201336","DOI":"10.1145\/2307849.2307858"},{"key":"2028_CR14","doi-asserted-by":"crossref","unstructured":"Chun B, Ihm S, Maniatis P, Naik M, Patti A (2011) Clonecloud: elastic execution between mobile device and cloud. In: Proceedings of the 6th EuroSys Conference on Computer Systems (EUROSYS\u201911), Salzburg, Austria, pp 301\u2013314","DOI":"10.1145\/1966445.1966473"},{"key":"2028_CR15","doi-asserted-by":"crossref","unstructured":"Giurgiu I, Riva O, Juric D, Krivulev I, Alonso G (2009) Calling the cloud: enabling mobile phones as interfaces to cloud applications. In: Proceedings of the 10th ACM\/IFIP\/USENIX International Conference on Middleware (Middleware\u201909), Champaign, IL, USA. Springer, pp 1\u201320","DOI":"10.1007\/978-3-642-10445-9_5"},{"key":"2028_CR16","doi-asserted-by":"crossref","unstructured":"Kosta S, Aucinas A, Hui P, Mortier R, Zhang X (2012) Thinkair: dynamic resource allocation and parallel execution in the cloud for mobile code offloading. In: Proceedings of 31st IEEE International Conference on Computer Communications (INFOCOM\u201912), Orlando, Florida, USA. IEEE, pp 945\u2013953","DOI":"10.1109\/INFCOM.2012.6195845"},{"issue":"11","key":"2028_CR17","doi-asserted-by":"crossref","first-page":"2629","DOI":"10.1016\/j.jss.2012.06.011","volume":"85","author":"T Verbelen","year":"2012","unstructured":"Verbelen T, Simoens P, De Turck F, Dhoedt B (2012) AIOLOS: middleware for improving mobile application performance through cyber foraging. J Syst Softw 85(11):2629\u20132639","journal-title":"J Syst Softw"},{"key":"2028_CR18","doi-asserted-by":"crossref","unstructured":"Ahmed E, Naveed A, Gani A, Hamid SHA, Imran M, Guizani M (2017) Process state synchronization for mobility support in mobile cloud computing. In: IEEE International Conference on Communications, pp 1\u20136","DOI":"10.1109\/ICC.2017.7997137"},{"key":"2028_CR19","doi-asserted-by":"crossref","unstructured":"Zhao B, Xu Z, Chi C, Zhu S, Cao G (2012) Mirroring smartphones for good: A feasibility study. In: Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol 73, pp 26\u201338","DOI":"10.1007\/978-3-642-29154-8_3"},{"issue":"2","key":"2028_CR20","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1016\/j.camwa.2011.10.044","volume":"63","author":"S Hung","year":"2011","unstructured":"Hung S, Shih C, Shieh J, Lee C, Huang Y (2011) Executing mobile applications on the cloud: framework and issues. Comput Math Appl 63(2):573\u2013587","journal-title":"Comput Math Appl"},{"key":"2028_CR21","doi-asserted-by":"crossref","unstructured":"Huerta-Canepa G, Lee D (2010) A virtual cloud computing provider for mobile devices. In: Proceedings of the 1st ACM Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond, (MCS\u201910), San Francisco, CA, USA. ACM, pp 1\u20135","DOI":"10.1145\/1810931.1810937"},{"issue":"4","key":"2028_CR22","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MPRV.2009.82","volume":"8","author":"M Satyanarayanan","year":"2009","unstructured":"Satyanarayanan M, Bahl P, Caceres R, Davies N (2009) The case for vm-based cloudlets in mobile computing. IEEE Pervasive Comput 8(4):14\u201323","journal-title":"IEEE Pervasive Comput"},{"key":"2028_CR23","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.jnca.2015.11.009","volume":"62","author":"U Shaukat","year":"2016","unstructured":"Shaukat U, Ahmed E, Anwar Z, Xia F (2016) Cloudlet deployment in local wireless networks: motivation, architectures, applications, and open challenges. J Netw Comput Appl 62:18\u201340","journal-title":"J Netw Comput Appl"},{"key":"2028_CR24","unstructured":"Gordon MS, Jamshidi DA, Mahlke SA, Mao ZM, Chen X (2012) Comet: code offload by migrating execution transparently. In: OSDI, pp 93\u2013106"},{"key":"2028_CR25","doi-asserted-by":"crossref","unstructured":"Kovachev D, Yu T, Klamma R (2012) Adaptive computation offloading from mobile devices into the cloud. In: 10th International Symposium on Parallel and Distributed Processing with Applications (ISPA\u201912), Madrid, Spain. IEEE, pp 784\u2013791","DOI":"10.1109\/ISPA.2012.115"},{"key":"2028_CR26","doi-asserted-by":"crossref","unstructured":"Kemp R, Palmer N, Kielmann T, Bal H (2012) Cuckoo: a computation offloading framework for smartphones. In: Mobile Computing, Applications, and Services. Springer, pp 59\u201379","DOI":"10.1007\/978-3-642-29336-8_4"},{"key":"2028_CR27","doi-asserted-by":"crossref","unstructured":"Bansal C, Bhargavan K, Delignat-Lavaud A, Maffeis S (2013) Keys to the cloud: formal analysis and concrete attacks on encrypted web storage. In: Principles of Security and Trust. Springer, pp 126\u2013146","DOI":"10.1007\/978-3-642-36830-1_7"},{"key":"2028_CR28","doi-asserted-by":"crossref","unstructured":"Samad J, Loke SW, Reed K (2013) Quantitative risk analysis for mobile cloud computing: a preliminary approach and a health application case study. In: Proceedings of 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom\u201913). IEEE, pp 1378\u20131385","DOI":"10.1109\/TrustCom.2013.166"},{"key":"2028_CR29","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/j.jnca.2015.03.001","volume":"52","author":"E Ahmed","year":"2015","unstructured":"Ahmed E, Gani A, Khan MK, Buyya R, Khan SU (2015) Seamless application execution in mobile cloud computing: motivation, taxonomy, and open challenges. J Netw Comput Appl 52:154\u2013172","journal-title":"J Netw Comput Appl"},{"key":"2028_CR30","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.jnca.2015.02.003","volume":"52","author":"E Ahmed","year":"2015","unstructured":"Ahmed E, Gani A, Sookhak M, Hamid Ab, H S, Xia F (2015) Application optimization in mobile cloud computing: motivation, taxonomies, and open challenges. J Netw Comput Appl 52:52\u201368","journal-title":"J Netw Comput Appl"},{"issue":"02","key":"2028_CR31","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church A (1940) A formulation of the simple theory of types. J Symb Log 5(02):56\u201368","journal-title":"J Symb Log"},{"issue":"2","key":"2028_CR32","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.121752","volume":"18","author":"JW Davidson","year":"1992","unstructured":"Davidson JW, Holler AM (1992) Subprogram inlining: a study of its effects on program execution time. IEEE Trans Softw Eng 18(2):89\u2013102","journal-title":"IEEE Trans Softw Eng"},{"key":"2028_CR33","doi-asserted-by":"crossref","unstructured":"Jin R, Zhong X, Zhou S (Dec 2016) The access procedure design for low latency in 5g cellular network. In: IEEE Globecom Workshops (GC Wkshps), pp 1\u20136","DOI":"10.1109\/GLOCOMW.2016.7849058"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-017-2028-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-017-2028-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-017-2028-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,15]],"date-time":"2017-09-15T03:45:00Z","timestamp":1505447100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-017-2028-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,24]]},"references-count":33,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["2028"],"URL":"https:\/\/doi.org\/10.1007\/s11227-017-2028-4","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2017,4,24]]}}}