{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:05:13Z","timestamp":1740096313034,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351785"},{"type":"electronic","value":"9783642351792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35179-2_12","type":"book-chapter","created":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T21:20:42Z","timestamp":1352841642000},"page":"277-307","source":"Crossref","is-referenced-by-count":8,"title":["Modeling Energy-Aware Cloud Federations with SRNs"],"prefix":"10.1007","author":[{"given":"Dario","family":"Bruneo","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Longo","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Puliafito","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MITP.2008.10","volume":"10","author":"S. Murugesan","year":"2008","unstructured":"Murugesan, S.: Harnessing green it: Principles and practices. IT Professional\u00a010(1), 24\u201333 (2008)","journal-title":"IT Professional"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Foster, I., Zhao, Y., Raicu, I., Lu, S.: Cloud computing and grid computing 360-degree compared. In: Grid Computing Environments Workshop, GCE 2008, pp. 1\u201310 (2008)","DOI":"10.1109\/GCE.2008.4738445"},{"key":"12_CR3","unstructured":"Eucalyptus official site, \n                    \n                      http:\/\/www.eucalyptus.com\/"},{"key":"12_CR4","unstructured":"Amazon EC2, \n                    \n                      http:\/\/aws.amazon.com\/ec2"},{"key":"12_CR5","unstructured":"IBM SBDTC, \n                    \n                      http:\/\/www-180.ibm.com\/cloud\/enterprise\/beta\/dashboard"},{"key":"12_CR6","unstructured":"IBM Cloud Computing, \n                    \n                      http:\/\/www.ibm.com\/ibm\/cloud\/"},{"key":"12_CR7","unstructured":"Eucalyptus official site, \n                    \n                      http:\/\/www.eucalyptus.com\/"},{"key":"12_CR8","unstructured":"openqrm official site, \n                    \n                      http:\/\/www.openqrm.com\/"},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2011.64","volume":"44","author":"B. Rochwerger","year":"2011","unstructured":"Rochwerger, B., Breitgand, D., Epstein, A., Hadas, D., Loy, I., Nagin, K., Tordsson, J., Ragusa, C., Villari, M., Clayman, S., Levy, E., Maraschini, A., Massonet, P., Mu\u00f1oz, H., Tofetti, G.: Reservoir - when one cloud is not enough. Computer\u00a044(3), 44\u201351 (2011)","journal-title":"Computer"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Ye, K., Huang, D., Jiang, X., Chen, H., Wu, S.: Virtual machine based energy-efficient data center architecture for cloud computing: A performance perspective. In: Proceedings of the 2010 IEEE\/ACM Int\u2019l Conference on Green Computing and Communications & Int\u2019l Conference on Cyber, Physical and Social Computing, pp. 171\u2013178 (2010)","DOI":"10.1109\/GreenCom-CPSCom.2010.108"},{"key":"12_CR11","unstructured":"Eugen Feller, D.L., Morin, C.: State of the art of power saving in clusters + results from the EDF case study. Tech. Rep. (2010)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"88","DOI":"10.2197\/ipsjtrans.3.88","volume":"3","author":"S. Takeda","year":"2010","unstructured":"Takeda, S., Takemura, T.: A rank-based VM consolidation method for power saving in datacenters. IPSJ Online Transactions\u00a03, 88\u201396 (2010)","journal-title":"IPSJ Online Transactions"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Liu, L., Wang, H., Liu, X., Jin, X., He, W.B., Wang, Q.B., Chen, Y.: GreenCloud: a new architecture for green data center. In: Proceedings of the 6th International Conference Industry Session on Autonomic Computing and Communications Industry Session, pp. 29\u201338 (2009)","DOI":"10.1145\/1555312.1555319"},{"issue":"11","key":"12_CR14","doi-asserted-by":"publisher","first-page":"1611","DOI":"10.1109\/TPDS.2010.35","volume":"21","author":"D. Bruneo","year":"2010","unstructured":"Bruneo, D., Scarpa, M., Puliafito, A.: Performance evaluation of glite grids through gspns. IEEE Transactions on Parallel and Distributed Systems\u00a021(11), 1611\u20131625 (2010)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Yigitbasi, N., Iosup, A., Epema, D., Ostermann, S.: C-Meter: A framework for performance analysis of computing Clouds. In: Proceedings of the 2009 9th IEEE\/ACM International Symposium on Cluster Computing and the Grid, pp. 472\u2013477 (2009)","DOI":"10.1109\/CCGRID.2009.40"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Buyya, R., Ranjan, R., Calheiros, R.N.: Modeling and simulation of scalable cloud computing environments and the cloudsim toolkit: Challenges and opportunities. In: HPCS (2009)","DOI":"10.1109\/HPCSIM.2009.5192685"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Bruneo, D., Longo, F., Puliafito, A.: Evaluating energy consumption in a cloud infrastructure. In: IEEE WoWMoM, pp. 1\u20136 (June 2011)","DOI":"10.1109\/WoWMoM.2011.5986479"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-1-4613-8351-2_11","volume":"48","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated generation and analysis of Markov reward models using stochastic reward nets. IMA Volumes in Mathematics and its Applications: Linear Algebra, Markov Chains, and Queueing Models\u00a048, 145\u2013191 (1993)","journal-title":"IMA Volumes in Mathematics and its Applications: Linear Algebra, Markov Chains, and Queueing Models"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1147\/JRD.2009.5429058","volume":"53","author":"B. Rochwerger","year":"2009","unstructured":"Rochwerger, B., Breitgand, D., Levy, E., Galis, A., Nagin, K., Llorente, I.M., Montero, R., Wolfsthal, Y., Elmroth, E., C\u00e1ceres, J., Ben-Yehuda, M., Emmerich, W., Gal\u00e1n, F.: The reservoir model and architecture for open federated cloud computing. IBM J. Res. Dev.\u00a053, 535\u2013545 (2009)","journal-title":"IBM J. Res. Dev."},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M.A. Marsan","year":"1984","unstructured":"Marsan, M.A., Balbo, G., Conte, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems\u00a02, 93\u2013122 (1984)","journal-title":"ACM Transactions on Computer Systems"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Machida, F., Kim, D.S., Trivedi, K.: Modeling and analysis of software rejuvenation in a server virtualized system. In: 2010 IEEE Second International Workshop on Software Aging and Rejuvenation, WoSAR, pp. 1\u20136 (November 2010)","DOI":"10.1109\/WOSAR.2010.5722098"},{"issue":"2","key":"12_CR22","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.comnet.2011.10.003","volume":"56","author":"D. Bruneo","year":"2012","unstructured":"Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Evaluating wireless sensor node longevity through markovian techniques. Computer Networks\u00a056(2), 521\u2013532 (2012)","journal-title":"Computer Networks"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-44988-4_8","volume-title":"Application and Theory of Petri Nets 2000","author":"G. Ciardo","year":"2000","unstructured":"Ciardo, G., L\u00fcttgen, G., Siminiceanu, R.I.: Efficient Symbolic State-Space Construction for Asynchronous Systems. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 103\u2013122. Springer, Heidelberg (2000)"},{"issue":"1","key":"12_CR24","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10009-005-0188-7","volume":"8","author":"G. Ciardo","year":"2006","unstructured":"Ciardo, G., Marmorstein, R., Siminiceanu, R.: The saturation algorithm for symbolic state space exploration. Software Tools for Technology Transfer\u00a08(1), 4\u201325 (2006)","journal-title":"Software Tools for Technology Transfer"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-48745-X_2","volume-title":"Application and Theory of Petri Nets 1999","author":"A.S. Miner","year":"1999","unstructured":"Miner, A.S., Ciardo, G.: Efficient Reachability Set Generation and Storage Using Decision Diagrams. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, pp. 6\u201325. Springer, Heidelberg (1999)"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Ghosh, R., Trivedi, K., Naik, V., Kim, D.S.: End-to-end performability analysis for infrastructure-as-a-service cloud: An interacting stochastic models approach. In: 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing, PRDC, pp. 125\u2013132 (December 2010)","DOI":"10.1109\/PRDC.2010.30"},{"key":"12_CR27","unstructured":"Bobbio, A., Puliafito, A., Scarpa, M., Telek, M.: Webspn: A web-accessible Petri net tool. In: Conference on Web-Based Modeling & Simulation (1998)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Buyya, R., Ranjan, R., Calheiros, R.: Modeling and simulation of scalable cloud computing environments and the cloudsim toolkit: Challenges and opportunities. In: International Conference on High Performance Computing Simulation, HPCS 2009, pp. 1\u201311 (June 2009)","DOI":"10.1109\/HPCSIM.2009.5192685"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Kim, J.H., Lee, S.M., Kim, D.S., Park, J.S.: Performability analysis of iaas cloud. In: 2011 Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS, June 30-July 2, pp. 36\u201343 (2011)","DOI":"10.1109\/IMIS.2011.117"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Iosup, A., Yigitbasi, N., Epema, D.: On the performance variability of production cloud services. In: 2011 11th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid, pp. 104\u2013113 (May 2011)","DOI":"10.1109\/CCGrid.2011.22"},{"issue":"6","key":"12_CR31","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1109\/TPDS.2011.66","volume":"22","author":"A. Iosup","year":"2011","unstructured":"Iosup, A., Ostermann, S., Yigitbasi, M., Prodan, R., Fahringer, T., Epema, D.: Performance analysis of cloud computing services for many-tasks scientific computing. IEEE Transactions on Parallel and Distributed Systems\u00a022(6), 931\u2013945 (2011)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Stantchev, V.: Performance evaluation of cloud computing offerings. In: Third International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP 2009, pp. 187\u2013192 (October 2009)","DOI":"10.1109\/ADVCOMP.2009.36"},{"key":"12_CR33","series-title":"LNICST","first-page":"115","volume-title":"Cloudcom 2009","author":"S. Ostermann","year":"2010","unstructured":"Ostermann, S., Iosup, A., Yigitbasi, N., Prodan, R., Fahringer, T., Epema, D.: A Performance Analysis of EC2 Cloud Computing Services for Scientific Computing. In: Avresky, D.R., Diaz, M., Bode, A., Ciciani, B., Dekel, E. (eds.) Cloudcom 2009. LNICST, vol.\u00a034, pp. 115\u2013131. Springer, Heidelberg (2010)"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Koeppe, F., Schneider, J.: Do you get what you pay for? using proof-of-work functions to verify performance assertions in the cloud. In: 2010 IEEE Second International Conference on Cloud Computing Technology and Science, CloudCom, November 30-December 3, pp. 687\u2013692 (2010)","DOI":"10.1109\/CloudCom.2010.100"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Ghosh, R., Naik, V.K., Trivedi, K.S.: Power-performance trade-offs in iaas cloud: A scalable analytic approach. In: Dependable Systems and Networks Workshops, pp. 152\u2013157 (2011)","DOI":"10.1109\/DSNW.2011.5958802"},{"issue":"99","key":"12_CR36","first-page":"1","volume":"PP","author":"H. Khazaei","year":"2011","unstructured":"Khazaei, H., Misic, J., Misic, V.: Performance analysis of cloud computing centers using m\/g\/m\/m + r queueing systems. IEEE Transactions on Parallel and Distributed Systems\u00a0PP(99), 1 (2011)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"12_CR37","first-page":"28","volume-title":"Proceedings of the 2009 Conference on USENIX Annual Technical Conference, USENIX 2009","author":"A. Verma","year":"2009","unstructured":"Verma, A., Dasgupta, G., Nayak, T.K., De, P., Kothari, R.: Server workload analysis for power minimization using consolidation. In: Proceedings of the 2009 Conference on USENIX Annual Technical Conference, USENIX 2009, p. 28. USENIX Association, Berkeley (2009), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=1855807.1855835"},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Pacheco-Sanchez, S., Casale, G., Scotney, B., McClean, S., Parr, G., Dawson, S.: Markovian workload characterization for qos prediction in the cloud. In: IEEE International Conference on Cloud Computing, pp. 147\u2013154 (2011)","DOI":"10.1109\/CLOUD.2011.100"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Yigitbasi, N., Iosup, A., Epema, D.: C-meter: A framework for performance analysis of computing clouds. In: International Workshop on Cloud Computing (2009)","DOI":"10.1109\/CCGRID.2009.40"},{"key":"12_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-10665-1_23","volume-title":"Cloud Computing","author":"W. Voorsluys","year":"2009","unstructured":"Voorsluys, W., Broberg, J., Venugopal, S., Buyya, R.: Cost of Virtual Machine Live Migration in Clouds: A Performance Evaluation. In: Jaatun, M.G., Zhao, G., Rong, C. (eds.) CloudCom 2009. LNCS, vol.\u00a05931, pp. 254\u2013265. Springer, Heidelberg (2009)"},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"Wu, Y., Zhao, M.: Performance modeling of virtual machine live migration. In: 2011 IEEE International Conference on Cloud Computing, CLOUD, pp. 492\u2013499 (July 2011)","DOI":"10.1109\/CLOUD.2011.109"},{"key":"12_CR42","doi-asserted-by":"crossref","unstructured":"Gmach, D., Rolia, J., Cherkasova, L.: Resource and virtualization costs up in the cloud: Models and design choices. In: 2011 IEEE\/IFIP 41st International Conference on Dependable Systems Networks, DSN, pp. 395\u2013402 (June 2011)","DOI":"10.1109\/DSN.2011.5958252"},{"key":"12_CR43","doi-asserted-by":"crossref","unstructured":"Govindan, S., Liu, J., Kansal, A., Sivasubramaniam, A.: Cuanta: quantifying effects of shared on-chip resource interference for consolidated virtual machines. In: Proceedings of the 2nd ACM Symposium on Cloud Computing, SOCC 2011, pp. 22:1\u201322:14. ACM, New York (2011)","DOI":"10.1145\/2038916.2038938"},{"key":"12_CR44","doi-asserted-by":"crossref","unstructured":"Rhoden, B., Klues, K., Zhu, D., Brewer, E.: Improving per-node efficiency in the datacenter with new os abstractions. In: Proceedings of the 2nd ACM Symposium on Cloud Computing, SOCC 2011, pp. 25:1\u201325:8. ACM, New York (2011)","DOI":"10.1145\/2038916.2038941"},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Goudarzi, H., Pedram, M.: Multi-dimensional sla-based resource allocation for multi-tier cloud computing systems. In: 2011 IEEE International Conference on Cloud Computing, CLOUD, pp. 324\u2013331 (July 2011)","DOI":"10.1109\/CLOUD.2011.106"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Lenk, A., Menzel, M., Lipsky, J., Tai, S., Offermann, P.: What are you paying for? performance benchmarking for infrastructure-as-a-service offerings. In: 2011 IEEE International Conference on Cloud Computing, CLOUD, pp. 484\u2013491 (July 2011)","DOI":"10.1109\/CLOUD.2011.80"},{"issue":"7","key":"12_CR47","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1093\/comjnl\/bxp080","volume":"53","author":"A. Berl","year":"2010","unstructured":"Berl, A., Gelenbe, E., Di Girolamo, M., Giuliani, G., De Meer, H., Dang, M.Q., Pentikousis, K.: Energy-efficient cloud computing. The Computer Journal\u00a053(7), 1045\u20131051 (2010), \n                    \n                      http:\/\/comjnl.oxfordjournals.org\/content\/53\/7\/1045.abstract","journal-title":"The Computer Journal"},{"key":"12_CR48","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/502034.502045","volume-title":"Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, SOSP 2001","author":"J.S. Chase","year":"2001","unstructured":"Chase, J.S., Anderson, D.C., Thakar, P.N., Vahdat, A.M., Doyle, R.P.: Managing energy and server resources in hosting centers. In: Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, SOSP 2001, pp. 103\u2013116. ACM, New York (2001), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/502034.502045"},{"key":"12_CR49","doi-asserted-by":"publisher","first-page":"1222","DOI":"10.1016\/j.peva.2011.07.017","volume":"68","author":"I. Mitrani","year":"2011","unstructured":"Mitrani, I.: Service center trade-offs between customer impatience and power consumption. Perform. Eval.\u00a068, 1222\u20131231 (2011), \n                    \n                      http:\/\/dx.doi.org\/10.1016\/j.peva.2011.07.017","journal-title":"Perform. Eval."},{"key":"12_CR50","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s11134-005-1740-6","volume":"51","author":"J.R. Artalejo","year":"2005","unstructured":"Artalejo, J.R., Economou, A., Lopez-Herrero, M.J.: Analysis of a multiserver queue with setup times. Queueing Syst. Theory Appl.\u00a051, 53\u201376 (2005), \n                    \n                      http:\/\/dl.acm.org\/citation.cfm?id=1110977.1111005","journal-title":"Queueing Syst. Theory Appl."},{"key":"12_CR51","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1016\/j.peva.2010.07.004","volume":"67","author":"A. Gandhi","year":"2010","unstructured":"Gandhi, A., Harchol-Balter, M., Adan, I.: Server farms with setup costs. Perform. Eval.\u00a067, 1123\u20131138 (2010), \n                    \n                      http:\/\/dx.doi.org\/10.1016\/j.peva.2010.07.004","journal-title":"Perform. Eval."},{"key":"12_CR52","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1109\/MASCOTS.2010.36","volume-title":"Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2010","author":"M. Mazzucco","year":"2010","unstructured":"Mazzucco, M., Dyachuk, D., Dikaiakos, M.: Profit-aware server allocation for green internet services. In: Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2010, pp. 277\u2013284. IEEE Computer Society, Washington, DC (2010), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/MASCOTS.2010.36"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35179-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T18:56:33Z","timestamp":1557341793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35179-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351785","9783642351792"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35179-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}