{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:26Z","timestamp":1725490226968},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-10383-4_13","type":"book-chapter","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T09:49:58Z","timestamp":1259056198000},"page":"190-204","source":"Crossref","is-referenced-by-count":7,"title":["Modeling Service Level Agreements with Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Constantinos","family":"Kotsokalis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramin","family":"Yahyapour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel Angel","family":"Rojas Gonzalez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"13_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Lee, C.: Representation of switching circuits by binary decision diagrams. Bell System Technical Journal\u00a0(38), 985\u2013999 (1959)","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"S. Akers","year":"1978","unstructured":"Akers, S.: Binary Decision Diagrams. IEEE Transactions on Computers\u00a0C-27(6), 509\u2013516 (1978)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR4","unstructured":"Open Grid Forum: Web Services Agreement Specification, WS-Agreement (2007)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1022445108617","volume":"11","author":"A. Keller","year":"2003","unstructured":"Keller, A., Ludwig, H.: The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management\u00a011(1), 57\u201381 (2003)","journal-title":"Journal of Network and Systems Management"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Binder, W., Constantinescu, I., Faltings, B.: Scalable Automated Service Composition Using a Compact Directory Digest. Database and Expert Systems Applications, 317\u2013326 (2006)","DOI":"10.1007\/11827405_31"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Campailla, A., Chaki, S., Clarke, E., Jha, S., Veith, H.: Efficient filtering in publish-subscribe systems using binary decision diagrams. In: ICSE 2001: Proc. 23rd International Conference on Software Engineering, pp. 443\u2013452 (2001)","DOI":"10.1109\/ICSE.2001.919117"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.dss.2008.06.008","volume":"46","author":"A. Paschke","year":"2008","unstructured":"Paschke, A., Bichler, M.: Knowledge representation concepts for automated SLA management. Decision Support Systems\u00a046(1), 187\u2013205 (2008)","journal-title":"Decision Support Systems"},{"key":"13_CR9","volume-title":"Advanced BDD optimization","author":"R. Ebendt","year":"2005","unstructured":"Ebendt, R., Drechsler, R., Fey, G.: Advanced BDD optimization. Springer, Heidelberg (2005)"},{"key":"13_CR10","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"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S1389-1286(00)00149-3","volume":"35","author":"P. Bhoj","year":"2001","unstructured":"Bhoj, P., Singhal, S., Chutani, S.: SLA management in federated environments. Computer Networks\u00a035(1), 5\u201324 (2001)","journal-title":"Computer Networks"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv.\u00a024(3), 293\u2013318 (1992)","journal-title":"ACM Comput. Surv."},{"issue":"5","key":"13_CR13","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1109\/12.53586","volume":"39","author":"S. Friedman","year":"1990","unstructured":"Friedman, S., Supowit, K.: Finding the optimal variable ordering for binary decision diagrams. IEEE Transactions on Computers\u00a039(5), 710\u2013713 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR14","first-page":"42","volume-title":"ICCAD 1993: Proc. 1993 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: ICCAD 1993: Proc. 1993 IEEE\/ACM international conference on Computer-aided design, pp. 42\u201347. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Keutzer, K.: DAGON: Technology Binding and Local Optimization by DAG Matching. In: 24th Conference on Design Automation, June 1987, pp. 341\u2013347 (1987)","DOI":"10.1145\/37888.37940"},{"key":"13_CR16","unstructured":"Detjens, E., Rudell, R., Gannot, G., Wang, A., Sangiovanni-Vincentelli, A.: Technology mapping in MIS. In: Proc. International Conference on Computer Aided Design, November 1987, pp. 116\u2013119 (1987)"},{"key":"13_CR17","volume-title":"Multicriteria Optimization","author":"M. Ehrgott","year":"2005","unstructured":"Ehrgott, M.: Multicriteria Optimization. Springer, Heidelberg (2005)"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10462-004-6391-1","volume":"23","author":"S. Fatima","year":"2005","unstructured":"Fatima, S., Wooldridge, M., Jennings, N.: A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents. Artificial Intelligence Review\u00a023(2), 187\u2013205 (2005)","journal-title":"Artificial Intelligence Review"},{"key":"13_CR19","unstructured":"Figueroa, C., Figueroa, N., Jofre, A., Sahai, A., Chen, Y., Iyer, S.: A Game Theoretic Framework for SLA Negotiation. Technical report, HP Laboratories (2008)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Comuzzi, M., Kotsokalis, C., Spanoudakis, G., Yahyapour, R.: Establishing and Monitoring SLAs in Complex Service Based Systems. In: ICWS 2009: Proceedings of the 2009 IEEE International Conference on Web Services, pp. 783\u2013790 (2009)","DOI":"10.1109\/ICWS.2009.47"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10383-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T21:18:39Z","timestamp":1558646319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10383-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10383-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}