{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:37Z","timestamp":1740099157146,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003586"},{"type":"electronic","value":"9783030003593"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00359-3_5","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:08:28Z","timestamp":1535609308000},"page":"64-79","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments"],"prefix":"10.1007","author":[{"given":"Roua","family":"Ben Hamouda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabrine","family":"Boussema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Imene","family":"Ben Hafaiedh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riadh","family":"Robbana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,31]]},"reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., et al.: A view of cloud computing. Commun. ACM 53(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Rimal, B.P., Choi, E., Lumb, I.: A taxonomy and survey of cloud computing systems. In: 2009 Fifth International Joint Conference on INC, IMS and IDC, pp. 44\u201351 (2009)","DOI":"10.1109\/NCM.2009.218"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Joshi, S., Kumari, U.: Load balancing in cloud computing: challenges issues. In: 2nd International Conference on Contemporary Computing and Informatics (IC3I), pp. 120\u2013125 (2016)","DOI":"10.1109\/IC3I.2016.7917945"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Aslam, S., Shah, M.A.: Load balancing algorithms in cloud computing: a survey of modern techniques. In: 2015 National Software Engineering Conference (NSEC), pp. 30\u201335 (2015)","DOI":"10.1109\/NSEC.2015.7396341"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Nuaimi, K.A., Mohamed, N., Nuaimi, M.A., Al-Jaroodi, J.: A survey of load balancing in cloud computing: challenges and algorithms. In: Second Symposium on Network Cloud Computing and Applications, NCCA, pp. 137\u2013142 (2012)","DOI":"10.1109\/NCCA.2012.29"},{"key":"5_CR6","unstructured":"Radojevic, B., Zagar, M.: Analysis of issues with load balancing algorithms in hosted (cloud) environments. In: 2011 Proceedings of the 34th International Convention MIPRO, Opatija, Croatia, 23\u201327 May 2011, pp. 416\u2013420 (2011)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Panwar, R., Mallick, B.: Load balancing in cloud computing using dynamic load management algorithm. In: International Conference on Green Computing and Internet of Things (ICGCIoT), pp. 773\u2013778 (2015)","DOI":"10.1109\/ICGCIoT.2015.7380567"},{"issue":"4","key":"5_CR8","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626\u2013643 (1996)","journal-title":"ACM Comput. Surv."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1, 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Mesbahi, M., Rahmani, A.: Load balancing in cloud computing: a state of the art survey. Int. J. Mod. Educ. Comput. Sci. 8(3) (2016)","DOI":"10.5815\/ijmecs.2016.03.08"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.jnca.2016.06.003","volume":"71","author":"AS Milani","year":"2016","unstructured":"Milani, A.S., Navimipour, N.J.: Load balancing mechanisms and techniques in the cloud environments: systematic literature review and future trends. J. Netw. Comput. Appl. 71, 86\u201398 (2016)","journal-title":"J. Netw. Comput. Appl."},{"key":"5_CR12","unstructured":"Padhy, R.P., Rao, P.: Load balancing in cloud computing systems. PhD thesis (2011)"},{"issue":"5","key":"5_CR13","first-page":"1","volume":"2","author":"S Ray","year":"2012","unstructured":"Ray, S., De Sarkar, A.: Execution analysis of load balancing algorithms in cloud computing environment. Int. J. Cloud Comput.: Serv. Arch. (IJCCSA) 2(5), 1\u201313 (2012)","journal-title":"Int. J. Cloud Comput.: Serv. Arch. (IJCCSA)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Volkova, V.N., Chemenkaya, L.V., Desyatirikova, E.N., Hajali, M., Khodar, A., Osama, A.: Load balancing in cloud computing. In: IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), pp. 387\u2013390 (2018)","DOI":"10.1109\/EIConRus.2018.8317113"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Jarraya, Y., Eghtesadi, A., Debbabi, M., Zhang, Y., Pourzandi, M.: Cloud calculus: security verification in elastic cloud computing platform. In: 2012 International Conference on Collaboration Technologies and Systems, CTS 2012, Denver, CO, USA, 21\u201325 May 2012, pp. 447\u2013454 (2012)","DOI":"10.1109\/CTS.2012.6261089"},{"key":"5_CR16","unstructured":"Naskos, A., et al.: Cloud elasticity using probabilistic model checking. CoRR (2014)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Kikuchi, S., Aoki, T.: Evaluation of operational vulnerability in cloud service management using model checking. 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering, pp. 37\u201348 (2013)","DOI":"10.1109\/SOSE.2013.31"},{"key":"5_CR18","first-page":"416","volume":"4","author":"P Samal","year":"2013","unstructured":"Samal, P., Mishra, P.: Analysis of variants in round robin algorithms for load balancing in cloud computing. Int. J. Comput. Sci. Inf. Technol. 4, 416\u2013419 (2013)","journal-title":"Int. J. Comput. Sci. Inf. Technol."},{"key":"5_CR19","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-17625-8_13","volume-title":"Grid and Distributed Computing, Control and Automation","author":"DJ Choi","year":"2010","unstructured":"Choi, D.J., Chung, K.S., Shon, J.G.: An improvement on the weighted least-connection scheduling algorithm for load balancing in web cluster systems. In: Kim, T., Yau, S.S., Gervasi, O., Kang, B.-H., Stoica, A., \u015al\u0119zak, D. (eds.) FGIT 2010. CCIS, vol. 121, pp. 127\u2013134. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17625-8_13"},{"key":"5_CR20","first-page":"279","volume":"4","author":"KG Bakde","year":"2016","unstructured":"Bakde, K.G., Patil, B.: Survey of techniques and challenges for load balancing in public cloud. Int. J. Tech. Res. Appl. 4, 279\u2013290 (2016)","journal-title":"Int. J. Tech. Res. Appl."}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00359-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T03:00:01Z","timestamp":1571799601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00359-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003586","9783030003593"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00359-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}