{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:22:21Z","timestamp":1737091341070,"version":"3.33.0"},"reference-count":14,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":2281,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1016\/j.entcs.2006.02.034","type":"journal-article","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T14:01:53Z","timestamp":1180620113000},"page":"105-124","source":"Crossref","is-referenced-by-count":9,"title":["Only the Best Can Make It: Optimal Component Selection"],"prefix":"10.1016","volume":"176","author":[{"given":"Lars","family":"Gesellensetter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabine","family":"Glesner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2006.02.034_bib001","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/321992.322001","article-title":"Code Generation for Expressions with Common Subexpressions","volume":"24","author":"Aho","year":"1977","journal-title":"J. ACM"},{"year":"1998","series-title":"Term rewriting and all that","author":"Baader","key":"10.1016\/j.entcs.2006.02.034_bib002"},{"key":"10.1016\/j.entcs.2006.02.034_bib003","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1145\/3828.3830","article-title":"Generalized Best-First Search Strategies and the Optimality of A*","volume":"32","author":"Dechter","year":"1985","journal-title":"J. ACM"},{"key":"10.1016\/j.entcs.2006.02.034_bib004","unstructured":"DeMichiel, L., \u201cEnterprise JavaBeansTM Specification,\u201d SUN Microsystems, November 2003, version 2.1, Final Release"},{"key":"10.1016\/j.entcs.2006.02.034_bib005","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1524\/itit.46.5.265.44799","article-title":"Verifix: Konstruktion und Architektur verifizierender \u00dcbersetzer (Verifix: Construction and Architecture of Verifying Compilers)","volume":"46","author":"Glesner","year":"2004","journal-title":"it - Information Technology"},{"issue":"2","key":"10.1016\/j.entcs.2006.02.034_bib006","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","article-title":"A formal basis for the heuristic determination of minimum cost paths","volume":"SSC4","author":"Hart","year":"1968","journal-title":"IEEE Transactions on Systems Science and Cybernetics"},{"key":"10.1016\/j.entcs.2006.02.034_bib007","unstructured":"Hemer, D., A formal approach to component adaptation and composition, in: ACSW '05, Australasian Computer Science Week, 2005"},{"key":"10.1016\/j.entcs.2006.02.034_bib008","doi-asserted-by":"crossref","unstructured":"Kopp, S., N. Kr\u00e4mer, L. Gesellensetter and I. Wachsmuth, A conversational agent as museum guide \u2013 design and evaluation of a real-world application, in: 5th Int. working conference on Intelligent Virtual Agents (IVA'05), 2005","DOI":"10.1007\/11550617_28"},{"key":"10.1016\/j.entcs.2006.02.034_bib009","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/s002360050099","article-title":"Code generation based on formal BURS theory and heuristic search","volume":"34","author":"Nymeyer","year":"1995","journal-title":"Acta Informatica"},{"key":"10.1016\/j.entcs.2006.02.034_bib010","doi-asserted-by":"crossref","unstructured":"Page, E.H. and J.M. Opper, Observations on the complexity of composable simulation, in: WSC '99: 31st conf. on Winter simulation (1999), pp. 553\u2013560","DOI":"10.1145\/324138.324433"},{"key":"10.1016\/j.entcs.2006.02.034_bib011","unstructured":"Petty, M., E.W. Weisel and R.R. Mielke., Computational complexity of selecting models for composition, in: Proceedings of the Fall 2003 Simulation Interoperability Workshop, Orlando FL, 2003, pp. 517\u2013525"},{"key":"10.1016\/j.entcs.2006.02.034_bib012","doi-asserted-by":"crossref","unstructured":"Upadhyayaand, B.Z.L., Formal support for development of javabeans component systems, in: 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 2004, pp. 23\u201328","DOI":"10.1109\/CMPSAC.2004.1342801"},{"key":"10.1016\/j.entcs.2006.02.034_bib013","unstructured":"Weerawarana, S., F. Curbera, M.J. Duftler, D.A. Epstein and J. Kesselman, Bean markup language: A composition language for javabeans components, in: COOTS 2001, 2001"},{"key":"10.1016\/j.entcs.2006.02.034_bib014","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/244795.244801","article-title":"Protocol specifications and component adaptors","volume":"19","author":"Yellin","year":"1997","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066107002071?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066107002071?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:44:26Z","timestamp":1737060266000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066107002071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["S1571066107002071"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2006.02.034","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}