{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:20:32Z","timestamp":1745986832002,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34321-6_18","type":"book-chapter","created":{"date-parts":[[2013,1,18]],"date-time":"2013-01-18T17:06:55Z","timestamp":1358528815000},"page":"268-282","source":"Crossref","is-referenced-by-count":5,"title":["Structural Optimization of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing"],"prefix":"10.1007","author":[{"given":"Kuan","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramin","family":"Yahyapour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edwin","family":"Yaqub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantinos","family":"Kotsokalis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-540-74466-5_41","volume-title":"Euro-Par 2007 Parallel Processing","author":"T. V\u00e1zquez","year":"2007","unstructured":"V\u00e1zquez, T., Huedo, E., Montero, R.S., Llorente, I.M.: Evaluation of a Utility Computing Model Based on the Federation of Grid Infrastructures. In: Kermarrec, A.-M., Boug\u00e9, L., Priol, T. (eds.) Euro-Par 2007. LNCS, vol.\u00a04641, pp. 372\u2013381. Springer, Heidelberg (2007)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Zhang, Q., Cheng, L., Boutaba, R.: Cloud computing: state-of-the-art and research challenges. Journal of Internet Services and Applications, 7\u201318 (2010)","DOI":"10.1007\/s13174-010-0007-6"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Lu, K., Roeblitz, T., Chronz, P., Kotsokalis, C.: SLA-Based Planning for Multi-Domain Infrastructure as a Service. In: 1st International Conference on Cloud Computing and Services Science, pp. 343\u2013351. Springer (2011)","DOI":"10.5220\/0003386603430351"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Lu, K., Roeblitz, T., Yahyapour, R., Yaqub, E., Kotsokalis, C.: QoS-aware SLA-based Advanced Reservation of Infrastructure as a Service. In: Third IEEE International Conference on Coud Computing Technology and Science (CloudCom 2011), pp. 288\u2013295. IEEE Computer Society (2011)","DOI":"10.1109\/CloudCom.2011.46"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Antonopoulos, N., Gillam, L.: Cloud Computing: Principles, Systems and Applications. Springer (2010)","DOI":"10.1007\/978-1-84996-241-4"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Shannon, C.E.: A symbolic analysis of relay and switching circuits. AIEE\u00a0(57), 713\u2013723 (1938)","DOI":"10.1109\/EE.1938.6431064"},{"key":"18_CR7","unstructured":"Wu, L.L., Buyya, R.: Service Level Agreement (SLA) in Utility Computing Systems. Architecture, 27 (2010)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Chazalet, A.: Service Level Checking in the Cloud Computing Context. In: IEEE 3rd International Conference on Cloud Computing, pp. 297\u2013304 (2010)","DOI":"10.1109\/CLOUD.2010.15"},{"key":"18_CR9","unstructured":"Ron, S., Aliko, P.: Service level agreements. Internet NG project (2001)"},{"key":"18_CR10","unstructured":"Ebendt, R., Drechsler, R.: Advanced BDD Optimization. Springer (2005)"},{"key":"18_CR11","first-page":"8","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design","author":"R. Rudell","year":"1993","unstructured":"Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: IEEE\/ACM International Conference on Computer-Aided Design, pp. 8\u201315. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"18_CR12","unstructured":"Andersen, H.R.: An Introduction to Binary Decision Diagrams, pp. 8\u201315. Citeseer (1999)"},{"key":"18_CR13","unstructured":"JavaBDD (2007), http:\/\/javabdd.sourceforge.net\/"},{"key":"18_CR14","volume-title":"Term Rewriting Systems","author":"J.W. Klop","year":"1990","unstructured":"Klop, J.W.: Term Rewriting Systems. Stichting Mathematisch Centrum, Amsterdam (1990)"},{"key":"18_CR15","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That, pp. 1\u20132, 34\u201335. Cambridge University Press (1999)"},{"key":"18_CR16","unstructured":"Open Grid: Web Services Agreement Specification (2007), http:\/\/www.ogf.org\/"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Keller, A., Ludwig, H.: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management, 57\u201381 (2003)","DOI":"10.1023\/A:1022445108617"},{"key":"18_CR18","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 W3C Note, World Wide Web Consortium (2001)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Kearney, K.T., Torelli, F., Kotsokalis, C.: SLA*: An abstract syntax for Service Level Agreements. In: GRID, pp. 217\u2013224 (2010)","DOI":"10.1109\/GRID.2010.5697973"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-10383-4_13","volume-title":"Service-Oriented Computing","author":"C. Kotsokalis","year":"2009","unstructured":"Kotsokalis, C., Yahyapour, R., Rojas Gonzalez, M.A.: Modeling Service Level Agreements with Binary Decision Diagrams. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 190\u2013204. Springer, Heidelberg (2009)"},{"key":"18_CR21","unstructured":"Amazon EC2 Cloud (2012), http:\/\/aws.amazon.com\/ec2\/"},{"key":"18_CR22","unstructured":"Bartlett, J.: Best Practice for Service Delivery. The Stationery Office (2007)"},{"key":"18_CR23","unstructured":"Chandra, A., Goyal, P., Shenoy, P.: Quantifying the benefits of resource multiplexing in on-demand data centers. In: 1st ACM Workshop on Algorithms and Architectures for Self-Managing Systems (2003)"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Machado, G.S., Stillerm, B.: Investigations of an SLA Support System for Cloud Computing. In: Praxis der Informationsverarbeitung und Kommunikation (2011)","DOI":"10.1515\/piko.2011.014"},{"key":"18_CR25","unstructured":"Open Cloud Computing Interface Specification (2012), http:\/\/occi-wg.org\/about\/specification\/"},{"key":"18_CR26","unstructured":"Opennebula (2012), http:\/\/opennebula.org\/"},{"key":"18_CR27","unstructured":"74LVC1G386, 3-input Exclusive-Or gate, Data Sheet, NXP B.V. (2007)"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Prasad, P.W.C., Raseen, M., Senanayake, S.M.N.A., Assi, A.: BDD Path Length Minimization Based on Initial Variable Ordering. Journal of Computer Science (2005)","DOI":"10.3844\/jcssp.2005.521.529"},{"key":"18_CR29","unstructured":"SLA@SOI (2011), http:\/\/sla-at-soi.eu\/"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Yaqub, E., Wieder, P., Kotsokalis, C., Mazza, V., Pasquale, L., Rueda, J., Gomez, S., Chimeno, A.: A Generic Platform for Conducting SLA Negotiations. In: Wieder, P., Butler, J., Yahyapour, R. (eds.) Service Level Agreements For Cloud Computing, Part 4, pp. 187\u2013206. Springer (2011)","DOI":"10.1007\/978-1-4614-1614-2_12"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Drechsler, R., Guenther, W., Somenzi, F.: Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD, 50\u201357 (2001)","DOI":"10.1109\/43.905674"},{"key":"18_CR32","unstructured":"Ehrgott, M.: Multicriteria Optimization, 2nd edn., pp. 171\u2013195. Springer (2005)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34321-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:38:58Z","timestamp":1745948338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34321-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642173578","9783642173585"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34321-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}