{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:57:13Z","timestamp":1725818233230},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319163093"},{"type":"electronic","value":"9783319163109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16310-9_8","type":"book-chapter","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T07:47:23Z","timestamp":1425368843000},"page":"291-322","source":"Crossref","is-referenced-by-count":3,"title":["Supporting Performance Awareness in Autonomous Ensembles"],"prefix":"10.1007","author":[{"given":"Lubom\u00edr","family":"Bulej","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Bure\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilias","family":"Gerostathopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojt\u011bch","family":"Hork\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaroslav","family":"Keznikl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luk\u00e1\u0161","family":"Marek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"T\u016fma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Aoki, M.: Control of large-scale dynamic systems by aggregation. IEEE Trans. Autom. Control\u00a013(3) (1968)","DOI":"10.1109\/TAC.1968.1098900"},{"key":"8_CR2","unstructured":"ASM (2014), \n                    \n                      http:\/\/asm.ow2.org\/"},{"key":"8_CR3","series-title":"Mathematical Programming Study","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics. Mathematical Programming Study. North-Holland Publishing Company, Amsterdam (1984)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-319-16310-9_4","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Bruni","year":"2015","unstructured":"Bruni, R., Corradini, A., Gadducci, F., H\u00f6lzl, M., Lafuente, A.L., Vandin, A., Wirsing, M.: Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 163\u2013184. Springer, Heidelberg (2015)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. Journal of Applied Probability\u00a031(1) (1994)","DOI":"10.2307\/3215235"},{"key":"8_CR6","volume-title":"Proc. COMPSAC 2012 CORCS","author":"L. Bulej","year":"2012","unstructured":"Bulej, L., Bure\u0161, T., Hork\u00fd, V., Keznikl, J., T\u016fma, P.: Performance awareness in component systems: Vision paper. In: Proc. COMPSAC 2012 CORCS (2012)"},{"key":"8_CR7","volume-title":"Proceedings of the 4th ACM\/SPEC International Conference on Performance Engineering (ICPE \u201913)","author":"L. Bulej","year":"2013","unstructured":"Bulej, L., Bure\u0161, T., Hork\u00fd, V., Keznikl, J.: Adaptive deployment in ad-hoc systems using emergent component ensembles: Vision paper. In: Proceedings of the 4th ACM\/SPEC International Conference on Performance Engineering (ICPE \u201913), ACM Press, New York (2013)"},{"key":"8_CR8","unstructured":"Bulej, L., Bure\u0161, T., Hork\u00fd, V., Kotr\u010d, J., Marek, L., Troj\u00e1nek, T., T\u016fma, P.: SPL: Unit testing performance. Tech. Rep. D3S-TR-2014-04, Dep. of Distributed and Dependable Systems, Charles University in Prague (2014)"},{"key":"8_CR9","volume-title":"Proc. ICPE 2012","author":"L. Bulej","year":"2012","unstructured":"Bulej, L., Bure\u0161, T., Keznikl, J., Koubkov\u00e1, A., Podzimek, A., T\u016fma, P.: Capturing performance assumptions using stochastic performance logic. In: Proc. ICPE 2012, ACM Press, New York (2012)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-662-45234-9_10","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"T. Bure\u0161","year":"2014","unstructured":"Bure\u0161, T., Hork\u00fd, V., Kit, M., Marek, L., T\u016fma, P.: Towards performance-aware engineering of autonomic component ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 131\u2013146. Springer, Heidelberg (2014)"},{"key":"8_CR11","volume-title":"Proc. of the International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE \u201913)","author":"T. Bures","year":"2013","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo \u2013 an ensemble-based component system. In: Proc. of the International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE \u201913), Vancouver, Canada, ACM, New York (2013)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/978-3-319-16310-9_12","volume-title":"Software Engineering for Collective Autonomic Systems","author":"T. Bure\u0161","year":"2015","unstructured":"Bure\u0161, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: The Invariant Refinement Method. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 405\u2013428. Springer, Heidelberg (2015)"},{"key":"8_CR13","volume-title":"Proceedings of the USENIX Annual Technical Conference (ATC\u201904)","author":"B.M. Cantrill","year":"2004","unstructured":"Cantrill, B.M., Shapiro, M.W., Leventhal, A.H.: Dynamic instrumentation of production systems. In: Proceedings of the USENIX Annual Technical Conference (ATC\u201904), Berkeley, CA, USA (2004)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: On process rate semantics. Theor. Comput. Sci.\u00a0391 (2008)","DOI":"10.1016\/j.tcs.2007.11.012"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-45102-1_16","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"S. Chiba","year":"2000","unstructured":"Chiba, S.: Load-time structural reflection in Java. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, p. 313. Springer, Heidelberg (2000)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci.\u00a0410(33\u201334) (2009)","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"8_CR17","unstructured":"Clark, M.: JUnitPerf (2014), \n                    \n                      http:\/\/www.clarkware.com\/software\/JUnitPerf"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci.\u00a0411(22-24) (2010)","DOI":"10.1016\/j.tcs.2010.02.001"},{"key":"8_CR19","volume-title":"Proceedings of the 4th ACM\/SPEC International Conference on Performance Engineering (ICPE \u201913)","author":"N.R. Herbst","year":"2013","unstructured":"Herbst, N.R., Huber, N., Kounev, S., Amrehn, E.: Self-adaptive workload classification and forecasting for proactive resource provisioning. In: Proceedings of the 4th ACM\/SPEC International Conference on Performance Engineering (ICPE \u201913), ACM Press, New York (2013)"},{"key":"8_CR20","volume-title":"Proceedings of Process Algebra and Probabilistic Methods","author":"H. Hermanns","year":"1994","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, semantics, equivalences, and axioms for MTIPP. In: Proceedings of Process Algebra and Probabilistic Methods, Erlangen (1994)"},{"key":"8_CR21","volume-title":"Proceedings of Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of Quantitative Evaluation of Systems, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"8_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, New York (1996)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-319-16310-9_7","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 249\u2013290. Springer, Heidelberg (2015)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-319-16310-9_9","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The Ensemble Development Life Cycle and Best Practices for Collective Autonomic\u00a0Systems. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 325\u2013354. Springer, Heidelberg (2015)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-40725-3_12","volume-title":"Computer Performance Engineering","author":"V. Hork\u00fd","year":"2013","unstructured":"Hork\u00fd, V., Haas, F., Kotr\u010d, J., Lacina, M., T\u016fma, P.: Performance regression unit testing: a\u00a0case\u00a0study. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol.\u00a08168, pp. 149\u2013163. Springer, Heidelberg (2013)"},{"key":"8_CR26","volume-title":"Proc. ICPE 2015","author":"V. Hork\u00fd","year":"2015","unstructured":"Hork\u00fd, V., Libi\u010d, P., Marek, L., Steinhauser, A., T\u016fma, P.: Utilizing performance unit tests to increase performance awareness. In: Proc. ICPE 2015, ACM Press, New York (2015)"},{"key":"8_CR27","volume-title":"DSN","author":"G. Iacobelli","year":"2013","unstructured":"Iacobelli, G., Tribastone, M.: Lumpability of fluid models with heterogeneous agent types. In: DSN (2013)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Iwase, Y., Levin, S.A., Andreasen, V.: Aggregation in model ecosystems I: perfect aggregation. Ecological Modelling\u00a037 (1987)","DOI":"10.1016\/0304-3800(87)90030-5"},{"key":"8_CR29","unstructured":"JDOM Library (2013), \n                    \n                      http:\/\/www.jdom.org"},{"key":"8_CR30","first-page":"853","volume-title":"Proc. SPECTS 2005","author":"T. Kalibera","year":"2005","unstructured":"Kalibera, T., Bulej, L., T\u016fma, P.: Benchmark precision and random initial state. In: Proc. SPECTS 2005, pp. 853\u2013862. SCS (2005)"},{"key":"8_CR31","volume-title":"13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems","author":"T. Kalibera","year":"2005","unstructured":"Kalibera, T., Bulej, L., Tuma, P.: Automated detection of performance regressions: the Mono experience. In: 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Sep. 2005, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"8_CR32","volume-title":"Proc. of the 16th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE \u201913)","author":"J. Keznikl","year":"2013","unstructured":"Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P., Hoch, N.: Design of ensemble-based component systems by invariant refinement. In: Proc. of the 16th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE \u201913), Vancouver, Canada, ACM, New York (2013)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, p. 327. Springer, Heidelberg (2001)"},{"key":"8_CR34","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-88562-7_11","volume-title":"Computational Methods in Systems Biology","author":"M. Kwiatkowski","year":"2008","unstructured":"Kwiatkowski, M., Stark, I.: The continuous \u03c0-calculus: A process algebra for biochemical modelling. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 103\u2013122. Springer, Heidelberg (2008)"},{"key":"8_CR35","series-title":"Science of Computer Programming","volume-title":"Introduction to dynamic program analysis with DiSL","author":"L. Marek","year":"2014","unstructured":"Marek, L., Zheng, Y., Ansaloni, D., Bulej, L., Sarimbekov, A., Binder, W., T\u016fma, P.: Introduction to dynamic program analysis with DiSL. Science of Computer Programming (2014)"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Marek, L., Zhen, Y., Binder, W.: DiSL (2012), \n                    \n                      http:\/\/d3s.mff.cuni.cz\/software\/disl","DOI":"10.1145\/2162037.2162046"},{"key":"8_CR37","volume-title":"Proc. 7th Workshop on Domain-Specific Aspect Languages (DSAL \u201912)","author":"L. Marek","year":"2012","unstructured":"Marek, L., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z., Tuma, P.: DiSL: An extensible language for efficient and comprehensive dynamic program analysis. In: Proc. 7th Workshop on Domain-Specific Aspect Languages (DSAL \u201912), ACM Press, New York (2012)"},{"key":"8_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/978-3-319-16310-9_16","volume-title":"Software Engineering for Collective Autonomic Systems","author":"P. Mayer","year":"2015","unstructured":"Mayer, P., Velasco, J., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bure\u0161, T.: The Autonomic Cloud. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 495\u2013512. Springer, Heidelberg (2015)"},{"key":"8_CR39","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"8_CR40","volume-title":"Proceedings of ASPLOS 2009","author":"T. Mytkowicz","year":"2009","unstructured":"Mytkowicz, T., Diwan, A., Hauswirth, M., Sweeney, P.F.: Producing wrong data without doing anything obviously wrong. In: Proceedings of ASPLOS 2009, ACM Press, New York (2009)"},{"key":"8_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Nicola De","year":"2015","unstructured":"De Nicola, R., Latella, D., Lafuente, A.L., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL Language: Design, Implementation, Verification. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 3\u201371. Springer, Heidelberg (2015)"},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Okino, M.S., Mavrovouniotis, M.L.: Simplification of mathematical models of chemical reaction systems. Chemical Reviews\u00a02(98) (1998)","DOI":"10.1021\/cr950223l"},{"key":"8_CR43","unstructured":"Oracle: JVM Tool Interface (2006), \n                    \n                      http:\/\/docs.oracle.com\/javase\/6\/docs\/platform\/jvmti\/jvmti.html"},{"key":"8_CR44","unstructured":"Perf4J (2014), \n                    \n                      http:\/\/perf4j.codehaus.org\/"},{"key":"8_CR45","doi-asserted-by":"crossref","unstructured":"Perl, S.E., Weihl, W.E.: Performance assertion checking. SIGOPS Oper. Syst. Rev.\u00a027 (1993)","DOI":"10.1145\/173668.168630"},{"key":"8_CR46","unstructured":"Reynolds, P., Killian, C., Wiener, J.L., Mogul, J.C., Shah, M.A., Vahdat, A.: Pip: Detecting the Unexpected in Distributed Systems. In: NSDI\u201906. USENIX (2006)"},{"key":"8_CR47","volume-title":"Handbook of Parametric and Nonparametric Statistical Procedures","author":"D.J. Sheskin","year":"2011","unstructured":"Sheskin, D.J.: Handbook of Parametric and Nonparametric Statistical Procedures. CRC Press, Boca Raton (2011)"},{"key":"8_CR48","unstructured":"SPL Tool (2013), \n                    \n                      http:\/\/d3s.mff.cuni.cz\/software\/spl"},{"key":"8_CR49","unstructured":"SystemTap (2014), \n                    \n                      http:\/\/sourceware.org\/systemtap\/"},{"key":"8_CR50","volume-title":"JUnit in Action","author":"P. Tahchiev","year":"2010","unstructured":"Tahchiev, P., Leme, F., Massol, V., Gregory, G.: JUnit in Action, 2nd edn. (2010)","edition":"2"},{"key":"8_CR51","doi-asserted-by":"crossref","unstructured":"Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering\u00a038(1) (2012)","DOI":"10.1109\/TSE.2010.82"},{"key":"8_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-32940-1_27","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"M. Tschaikowski","year":"2012","unstructured":"Tschaikowski, M., Tribastone, M.: Exact fluid lumpability for Markovian process algebra. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 380\u2013394. Springer, Heidelberg (2012)"},{"key":"8_CR53","doi-asserted-by":"crossref","unstructured":"Tschaikowski, M., Tribastone, M.: Tackling continuous state-space explosion in a Markovian process algebra. Theoretical Computer Science\u00a0517 (2014)","DOI":"10.1016\/j.tcs.2013.08.016"},{"key":"8_CR54","doi-asserted-by":"crossref","unstructured":"Tschaikowski, M., Tribastone, M.: A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming (2014)","DOI":"10.1016\/j.jlamp.2014.10.004"},{"key":"8_CR55","volume-title":"Proc. 2002 ACM\/IEEE Conf. on Supercomputing (Supercomputing \u201902)","author":"J.S. Vetter","year":"2002","unstructured":"Vetter, J.S., Worley, P.H.: Asserting Performance Expectations. In: Proc. 2002 ACM\/IEEE Conf. on Supercomputing (Supercomputing \u201902), IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"8_CR56","doi-asserted-by":"crossref","unstructured":"Welch, B.L.: The generalization of student\u2019s problem when several different population variances are involved. Biometrika\u00a034(1\/2) (1947)","DOI":"10.2307\/2332510"},{"key":"8_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","volume-title":"Formal Methods for Components and Objects","author":"M. Wirsing","year":"2013","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 1\u201324. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Collective Autonomic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16310-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:47:53Z","timestamp":1559116073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16310-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319163093","9783319163109"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16310-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}