{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:42:30Z","timestamp":1726029750140},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319431765"},{"type":"electronic","value":"9783319431772"}],"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-43177-2_10","type":"book-chapter","created":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T21:25:36Z","timestamp":1468877136000},"page":"147-163","source":"Crossref","is-referenced-by-count":4,"title":["A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Merino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Tolosana-Calasanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 \u00c1ngel","family":"Ba\u00f1ares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9-Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/MCOM.2013.6400447","volume":"51","author":"S Aman","year":"2013","unstructured":"Aman, S., Simmhan, Y., Prasanna, V.: Energy management systems: state of the art and emerging trends. IEEE Commun. Mag. 51(1), 114\u2013119 (2013)","journal-title":"IEEE Commun. Mag."},{"issue":"5","key":"10_CR2","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/81.139289","volume":"39","author":"J Campos","year":"1992","unstructured":"Campos, J., Chiola, G., Colom, J.M., Silva, M.: Properties and performance bounds for timed marked graphs. IEEE Trans. Circuits Syst. I: Fundam. Theory Appl. 39(5), 386\u2013401 (1992)","journal-title":"IEEE Trans. Circuits Syst. I: Fundam. Theory Appl."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Elizondo, D., Gardner, R., Leon, R.: Power and energy society general meeting. In: 2012 IEEE Synchrophasor Technology: The Boom of Investments and Information Flow From North America to Latin America, pp. 1\u20136, July 2012","DOI":"10.1109\/PESGM.2012.6345638"},{"issue":"4","key":"10_CR4","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/MNET.2012.6246750","volume":"26","author":"X Fang","year":"2012","unstructured":"Fang, X., Misra, S., Xue, G., Yang, D.: Managing smart grid information in the cloud: opportunities, model, and applications. IEEE Netw. 26(4), 32\u201338 (2012)","journal-title":"IEEE Netw."},{"key":"10_CR5","unstructured":"Government, U: NIST Framework and Roadmap for Smart Grid Interoperability Standards, Release 3.0. General Books, September 2014"},{"volume-title":"High-level Petri Nets: Theory and Application","year":"1991","key":"10_CR6","unstructured":"Jensen, K., Rozenberg, G. (eds.): High-level Petri Nets: Theory and Application. Springer, London (1991)"},{"issue":"5","key":"10_CR7","doi-asserted-by":"crossref","first-page":"936","DOI":"10.1109\/TPDS.2011.199","volume":"23","author":"H Khazaei","year":"2012","unstructured":"Khazaei, H., Misic, J., Misic, V.: Performance analysis of cloud computing centers using m\/g\/m\/m+r queuing systems. IEEE Trans. Parallel Distrib. Syst. 23(5), 936\u2013943 (2012)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Maheshwari, K., Lim, M., Wang, L., Birman, K., van Renesse, R.: Toward a reliable, secure and fault tolerant smart grid state estimation in the cloud. In: IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013, pp. 1\u20136 (2013)","DOI":"10.1109\/ISGT.2013.6497831"},{"key":"10_CR9","volume-title":"Big Data: Principles and Best Practices of Scalable Realtime Data Systems","author":"N Marz","year":"2015","unstructured":"Marz, N., Warren, J.: Big Data: Principles and Best Practices of Scalable Realtime Data Systems. Manning Publications Co, Greenwhich (2015)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-319-14609-6_9","volume-title":"Economics of Grids, Clouds, Systems, and Services","author":"J O\u2019Loughlin","year":"2014","unstructured":"O\u2019Loughlin, J., Gillam, L.: Performance evaluation for cost-efficient public infrastructure cloud use. In: Altmann, J., Vanmechelen, K., Rana, O.F. (eds.) GECON 2014. LNCS, vol. 8914, pp. 133\u2013145. Springer, Heidelberg (2014)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Pautasso, C., Alonso, G.: Parallel computing patterns for grid workflows. In: Proceedings of the HPDC 2006 Workshop on Workflows in Support of Large-Scale Science, WORKS 19\u201323 June 2006, Paris, France, pp. 1\u201310 (2006)","DOI":"10.1109\/WORKS.2006.5282349"},{"issue":"11","key":"10_CR12","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MC.2013.335","volume":"46","author":"CC Seceleanu","year":"2013","unstructured":"Seceleanu, C.C., Crnkovic, I.: Component models for reasoning. IEEE Comput. 46(11), 40\u201347 (2013)","journal-title":"IEEE Comput."},{"key":"10_CR13","unstructured":"Simmhan, Y., Kumbhare, A.G.: Floe: a continuous dataflow framework for dynamic cloud applications. CoRR abs\/1406.5977 (2014)"},{"key":"10_CR14","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/978-3-319-07674-4_51","volume-title":"Advanced Computer and Communication Engineering Technology","author":"W Thong","year":"2015","unstructured":"Thong, W., Ameedeen, M.: A survey of petri net tools. In: Sulaiman, H.A., Othman, M.A., Othman, M.F.I., Pee, N.C., Rahim, Y.A. (eds.) Advanced Computer and Communication Engineering Technology. Lecture Notes in Electrical Engineering, vol. 315, pp. 537\u2013551. Springer International Publishing, Switzerland (2015)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-3-319-14609-6_13","volume-title":"Economics of Grids, Clouds, Systems, and Services","author":"R Tolosana-Calasanz","year":"2014","unstructured":"Tolosana-Calasanz, R., Ba\u00f1ares, J.\u00c1., Colom, J.-M.: Towards petri net-based economical analysis for streaming applications executed over cloud infrastructures. In: Altmann, J., Vanmechelen, K., Rana, O.F. (eds.) GECON 2014. LNCS, vol. 8914, pp. 189\u2013205. Springer, Heidelberg (2014)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Tolosana-Calasanz, R., Ba\u00f1ares, J., Rana, O.F., Pham, C., Xydas, E., Marmaras, C.E., Papadopoulos, P., Cipcigan, L.: Enforcing quality of service on OpenNebula-based shared clouds. In: CCGRID 2014 Workshop on Data-Intensive Process Management in Large-Scale Sensor Systems, DPMSS 2014, Chicago, IL, USA, May 26\u201329, 2014. pp. 651\u2013659. IEEE (2014)","DOI":"10.1109\/CCGrid.2014.50"},{"issue":"8","key":"10_CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/MC.2011.96","volume":"44","author":"S Yeo","year":"2011","unstructured":"Yeo, S., Lee, H.H.: Using mathematical modeling in provisioning a heterogeneous cloud computing environment. Computer 44(8), 55\u201362 (2011)","journal-title":"Computer"},{"issue":"3","key":"10_CR18","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s10586-010-0134-7","volume":"13","author":"L Yu","year":"2010","unstructured":"Yu, L., Moretti, C., Thrasher, A., Emrich, S.J., Judd, K., Thain, D.: Harnessing parallelism in multicore clusters with the all-pairs, wavefront, and makeflow abstractions. Clust. Comput. 13(3), 243\u2013256 (2010)","journal-title":"Clust. Comput."}],"container-title":["Lecture Notes in Computer Science","Economics of Grids, Clouds, Systems, and Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43177-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T06:16:50Z","timestamp":1568182610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43177-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319431765","9783319431772"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43177-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}