{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:06:32Z","timestamp":1740096392463,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452598"},{"type":"electronic","value":"9783642452604"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45260-4_2","type":"book-chapter","created":{"date-parts":[[2013,11,18]],"date-time":"2013-11-18T09:56:14Z","timestamp":1384768574000},"page":"16-29","source":"Crossref","is-referenced-by-count":6,"title":["Machine Learning for Emergent Middleware"],"prefix":"10.1007","author":[{"given":"Amel","family":"Bennaceur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sykes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Johansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Moschitti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-15375-4_6","volume-title":"CONCUR 2010 - Concurrency Theory","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Vaandrager, F.: Learning I\/O Automata. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 71\u201385. Springer, Heidelberg (2010), http:\/\/dx.doi.org\/10.1007\/978-3-642-15375-4_6"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Cerny, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java classes. In: Proc. POPL 2005 (2005)","key":"2_CR2","DOI":"10.1145\/1040305.1040314"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput.\u00a075(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-25821-3_21","volume-title":"Middleware 2011","author":"G.S. Blair","year":"2011","unstructured":"Blair, G.S., Bennaceur, A., Georgantas, N., Grace, P., Issarny, V., Nundloll, V., Paolucci, M.: The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems. In: Kon, F., Kermarrec, A.-M. (eds.) Middleware 2011. LNCS, vol.\u00a07049, pp. 410\u2013430. Springer, Heidelberg (2011)"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1613\/jair.295","volume":"4","author":"D.A. Cohn","year":"1996","unstructured":"Cohn, D.A., Ghahramani, Z., Jordan, M.I.: Active learning with statistical models. J. Artif. Intell. Res. (JAIR)\u00a04, 129\u2013145 (1996)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"doi-asserted-by":"crossref","unstructured":"Esparza, J., Leucker, M., Schlund, M.: Learning workflow petri nets\u00a0113, 205\u2013228 (2011)","key":"2_CR6","DOI":"10.3233\/FI-2011-607"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/11817949_29","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"O. Grinchtein","year":"2006","unstructured":"Grinchtein, O., Jonsson, B., Pettersson, P.: Inference of Event-Recording Automata Using Timed Decision Trees. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 435\u2013449. Springer, Heidelberg (2006)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-39718-2_17","volume-title":"The Semantic Web - ISWC 2003","author":"A. He\u00df","year":"2003","unstructured":"He\u00df, A., Kushmerick, N.: Learning to attach semantic metadata to web services. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 258\u2013273. Springer, Heidelberg (2003)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-16561-0_24","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F. Howar","year":"2010","unstructured":"Howar, F., Jonsson, B., Merten, M., Steffen, B., Cassel, S.: On handling data in automata learning - considerations from the connect perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 221\u2013235. Springer, Heidelberg (2010)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-27940-9_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Howar","year":"2012","unstructured":"Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring canonical register automata. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 251\u2013266. Springer, Heidelberg (2012)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-18275-4_19","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Howar","year":"2011","unstructured":"Howar, F., Steffen, B., Merten, M.: Automata learning with automated alphabet abstraction refinement. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 263\u2013277. Springer, Heidelberg (2011)"},{"unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Proceedings of the International Test Conference, ITC 2003, September 30-October 2, vol.\u00a01, pp. 971\u2013980 (2003)","key":"2_CR12"},{"doi-asserted-by":"crossref","unstructured":"Issarny, V., Steffen, B., Jonsson, B., Blair, G., Grace, P., Kwiatkowska, M., Calinescu, R., Inverardi, P., Tivoli, M., Bertolino, A., Sabetta, A.: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In: 14th IEEE International Conference on Engineering of Complex Computer Systems (2009)","key":"2_CR13","DOI":"10.1109\/ICECCS.2009.44"},{"issue":"11","key":"2_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1592761.1592783","volume":"52","author":"T. Joachims","year":"2009","unstructured":"Joachims, T., Hofmann, T., Yue, Y., Yu, C.N.J.: Predicting structured objects with support vector machines. Commun. ACM\u00a052(11), 97\u2013104 (2009)","journal-title":"Commun. ACM"},{"key":"2_CR15","series-title":"IFIP","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-1-4419-0221-4_13","volume-title":"Artificial Intelligence Applications and Innovations III","author":"I. Katakis","year":"2009","unstructured":"Katakis, I., Meditskos, G., Tsoumakas, G., Bassiliades, N., Vlahavas, I.P.: On the combination of textual and semantic descriptions for automated semantic web service classification. In: Iliadis, L., Vlahavas, I., Bramer, M. (eds.) Artificial Intelligence Applications and Innovations III. IFIP, vol.\u00a0296, pp. 95\u2013104. Springer, Boston (2009)"},{"doi-asserted-by":"crossref","unstructured":"Martin, D.L., Burstein, M.H., McDermott, D.V., McIlraith, S.A., Paolucci, M., Sycara, K.P., McGuinness, D.L., Sirin, E., Srinivasan, N.: Bringing semantics to web services with OWL-S. In: World Wide Web, pp. 243\u2013277 (2007)","key":"2_CR16","DOI":"10.1007\/s11280-007-0033-x"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-19835-9_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Merten","year":"2011","unstructured":"Merten, M., Steffen, B., Howar, F., Margaria, T.: Next generation learnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 220\u2013223. Springer, Heidelberg (2011)"},{"key":"2_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11871842_32","volume-title":"Machine Learning: ECML 2006","author":"A. Moschitti","year":"2006","unstructured":"Moschitti, A.: Efficient convolution kernels for dependency and constituent syntactic trees. In: F\u00fcrnkranz, J., Scheffer, T., Spiliopoulou, M. (eds.) ECML 2006. LNCS (LNAI), vol.\u00a04212, pp. 318\u2013329. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Moschitti, A.: Kernel methods, syntax and semantics for relational text categorization. In: Proceedings of ACM 17th Conference on Information and Knowledge Management, CIKM, Napa Valley, United States (2008)","key":"2_CR19","DOI":"10.1145\/1458082.1458118"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/978-3-642-21455-4_14","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"A. Moschitti","year":"2011","unstructured":"Moschitti, A.: Kernel-based machines for abstract and easy modeling of automatic learning. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 458\u2013503. Springer, Heidelberg (2011)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-24752-4_14","volume-title":"Advances in Information Retrieval","author":"A. Moschitti","year":"2004","unstructured":"Moschitti, A., Basili, R.: Complex linguistic features for text classification: A comprehensive study. In: McDonald, S., Tait, J.I. (eds.) ECIR 2004. LNCS, vol.\u00a02997, pp. 181\u2013196. Springer, Heidelberg (2004)"},{"key":"2_CR22","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-0-387-35578-8_13","volume-title":"Formal Methods for Protocol Engineering and Distributed Systems","author":"D. Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IFIP AICT, vol.\u00a028, pp. 225\u2013240. Springer, Heidelberg (1999)"},{"issue":"5","key":"2_CR23","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s10009-009-0111-8","volume":"11","author":"H. Raffelt","year":"2009","unstructured":"Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf.\u00a011(5), 393\u2013407 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"unstructured":"Salton, G., Wong, A., Yang, C.S.: A vector space model for automatic indexing. Tech. Rep. TR74-218, Department of Computer Science, Cornell University, Ithaca, New York (1974)","key":"2_CR24"},{"doi-asserted-by":"crossref","unstructured":"Selby, R., Porter, A.: Learning from examples: generation and evaluation of decision trees for software resource analysis. IEEE Transactions on Software Engineering 14(12) (1988)","key":"2_CR25","DOI":"10.1109\/32.9061"},{"doi-asserted-by":"crossref","unstructured":"Stone, P., Veloso, M.: Multiagent systems: A survey from a machine learning perspective. Autonomous Robots 8 (2000)","key":"2_CR26","DOI":"10.1023\/A:1008942012299"}],"container-title":["Communications in Computer and Information Science","Trustworthy Eternal Systems via Evolving Software, Data and Knowledge"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45260-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,8]],"date-time":"2020-08-08T07:28:40Z","timestamp":1596871720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45260-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452598","9783642452604"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45260-4_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}