{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T02:21:02Z","timestamp":1725848462800},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319289335"},{"type":"electronic","value":"9783319289342"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28934-2_4","type":"book-chapter","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T15:32:56Z","timestamp":1453995176000},"page":"66-85","source":"Crossref","is-referenced-by-count":4,"title":["A Cost\/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing"],"prefix":"10.1007","author":[{"given":"Luca","family":"Aceto","sequence":"first","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Morichetta","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,29]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.future.2012.05.023","volume":"29","author":"N Fernando","year":"2013","unstructured":"Fernando, N., Loke, S.W., Rahayu, W.: Mobile cloud computing: a survey. Future Gener. Comput. Syst. 29(1), 84\u2013106 (2013)","journal-title":"Future Gener. Comput. Syst."},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00447ED1V01Y201209MPC010","volume":"7","author":"J Flinn","year":"2012","unstructured":"Flinn, J.: Cyber foraging: bridging mobile and cloud computing. Synth. Lect. Mob. Pervasive Comput. 7(2), 1\u2013103 (2012)","journal-title":"Synth. Lect. Mob. Pervasive Comput."},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MC.2010.98","volume":"43","author":"K Kumar","year":"2010","unstructured":"Kumar, K., Lu, Y.H.: Cloud computing for mobile users: can offloading computation save energy? Computer 43(4), 51\u201356 (2010)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Aceto, L., Morichetta, A., Tiezzi, F.: Decision support for mobile cloud computingapplications via model checking. In: MobileCloud, vol. 1, pp. 296\u2013302. IEEE (2015)","key":"4_CR4","DOI":"10.1109\/MobileCloud.2015.21"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4204\/EPTCS.85.1","volume":"85","author":"Peter Bulychev","year":"2012","unstructured":"Bulychev et al.: UPPAAL-SMC: statistical model checking for priced timed automata. arXiv preprint \n                    arXiv:1207.1272\n                    \n                   (2012)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Gruian, F., Kuchcinski, K.: Low-energy directed architecture selection and task scheduling for system-level design. In: EUROMICRO, pp. 1296\u20131302. IEEE (1999)","key":"4_CR6","DOI":"10.1109\/EURMIC.1999.794484"},{"unstructured":"MobiCa, U.: Model. \n                    http:\/\/www.amorichetta.eu\/MobiCa\/m_u_model.zip","key":"4_CR7"},{"doi-asserted-by":"crossref","unstructured":"Cuervo, et al.: MAUI: making smartphones last longer with code offload. In: MobiSys, pp. 49\u201362. ACM (2010)","key":"4_CR8","DOI":"10.1145\/1814433.1814441"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10703-007-0043-4","volume":"32","author":"P Bouyer","year":"2008","unstructured":"Bouyer, P., Brinksma, E., Larsen, K.G.: Optimal infinite scheduling for multi-priced timed automata. Formal Meth. Syst. Des. 32(1), 3\u201323 (2008)","journal-title":"Formal Meth. Syst. Des."},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10703-006-0014-1","volume":"29","author":"JI Rasmussen","year":"2006","unstructured":"Rasmussen, J.I., Larsen, K.G., Subramani, K.: On using priced timed automata to achieve optimal scheduling. Formal Meth. Syst. Des. 29(1), 97\u2013114 (2006)","journal-title":"Formal Meth. Syst. Des."},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-24310-3_10","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"KG Larsen","year":"2011","unstructured":"Larsen, K.G., Miku\u010dionis, M., van Vliet, J., Wang, Z., David, A., Legay, A., Poulsen, D.B.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80\u201396. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Rudenko, A., Reiher, P., Popek, G.J., Kuenning, G.H.: The remote processing framework for portable computer power saving. In: SAC, pp. 365\u2013372. ACM (1999)","key":"4_CR12","DOI":"10.1145\/298151.298385"},{"unstructured":"Flinn, J., Park, S., Satyanarayanan, M.: Balancing performance, energy, and quality in pervasive computing. In: Distributed Computing Systems, pp. 217\u2013226 (2002)","key":"4_CR13"},{"doi-asserted-by":"crossref","unstructured":"Balan, R.K., Satyanarayanan, M., Park, S.Y., Okoshi, T.: Tactics-based remote execution for mobile computing. In: MobiSys, pp. 273\u2013286. ACM (2003)","key":"4_CR14","DOI":"10.1145\/1066116.1066125"},{"doi-asserted-by":"crossref","unstructured":"Ra, M. et al.: Odessa: enabling interactive perception applications on mobile devices. In: MobiSys, pp. 43\u201356. ACM (2011)","key":"4_CR15","DOI":"10.1145\/1999995.2000000"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28934-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:56:18Z","timestamp":1559390178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28934-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319289335","9783319289342"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28934-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}