{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:55:08Z","timestamp":1725530108923},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005923"},{"type":"electronic","value":"9783642005930"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","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-00593-0_1","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T06:26:08Z","timestamp":1238135168000},"page":"1-17","source":"Crossref","is-referenced-by-count":2,"title":["Scalable Analysis of Scalable Systems"],"prefix":"10.1007","author":[{"given":"Allan","family":"Clark","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","first-page":"33","volume-title":"Proceedings of the Second International Conference on the Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, pp. 33\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-88009-7","volume-title":"Proceedings of the 19th International Workshop on Algebraic Development Techniques (WADT 2008)","author":"A. Clark","year":"2008","unstructured":"Clark, A., Gilmore, S., Tribastone, M.: Service-level agreements for service-oriented computing. In: Montanari, U., Corradini, A. (eds.) Proceedings of the 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy. LNCS. Springer, Heidelberg (2008)"},{"key":"1_CR3","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, Cambridge (1996)"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/comjnl\/bxh097","volume":"48","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Tuning systems: From composition to performance. The Computer Journal\u00a048(4), 385\u2013400 (2005); the Needham Lecture paper","journal-title":"The Computer Journal"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/LICS.2005.35","volume-title":"Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Process algebras for quantitative analysis. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), pp. 239\u2013248. IEEE Computer Society Press, Chicago (2005)"},{"key":"1_CR6","unstructured":"Clark, A., Gilmore, S.: Evaluating quality of service for service level agreements. In: Brim, L., Leucker, M. (eds.) Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems, Bonn, Germany, pp. 172\u2013185 (August 2006)"},{"key":"1_CR7","first-page":"55","volume-title":"Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)","author":"A. Clark","year":"2007","unstructured":"Clark, A.: The ipclib PEPA Library. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pp. 55\u201356. IEEE, Los Alamitos (2007)"},{"key":"1_CR8","first-page":"53","volume-title":"Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)","author":"M. Tribastone","year":"2007","unstructured":"Tribastone, M.: The PEPA Plug-in Project. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pp. 53\u201354. IEEE, Los Alamitos (2007)"},{"issue":"2-3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0168-9274(97)00056-1","volume":"25","author":"U.M. Ascher","year":"1997","unstructured":"Ascher, U.M., Ruuth, S., Spiteri, R.: Implicit-explicit Runge-Kutta methods for time-dependent partial differential equations. Applied Numerical Mathematics\u00a025(2-3), 151\u2013167 (1997)","journal-title":"Applied Numerical Mathematics"},{"issue":"1","key":"1_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0771-050X(80)90013-3","volume":"6","author":"J. Dormand","year":"1980","unstructured":"Dormand, J., Prince, P.: A family of embedded Runge-Kutta formulae. Journal of Computational and Applied Mathematics\u00a06(1), 19\u201326 (1980)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11841197_14","volume-title":"Web Services and Formal Methods","author":"S. Gilmore","year":"2006","unstructured":"Gilmore, S., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 214\u2013226. Springer, Heidelberg (2006)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-540-78663-4_15","volume-title":"Trustworthy Global Computing","author":"M. Bravetti","year":"2008","unstructured":"Bravetti, M., Gilmore, S., Guidi, C., Tribastone, M.: Replicating web services for scalability. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 204\u2013221. Springer, Heidelberg (2008)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-87412-6_10","volume-title":"Computer Performance Engineering","author":"A. Clark","year":"2008","unstructured":"Clark, A., Gilmore, S.: State-aware performance analysis with eXtended Stochastic Probes. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol.\u00a05261, pp. 125\u2013140. Springer, Heidelberg (2008)"},{"key":"1_CR14","unstructured":"Bonet, P., Llad\u00f3, C., Puijaner, R., Knottenbelt, W.J.: PIPE v2.5: A Petri net tool for performance modelling. In: 23rd Latin American Conf. on Informatics (CLEI 2007) (September 2007)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Suto, T., Bradley, J.T., Knottenbelt, W.J.: Performance Trees: A new approach to quantitative performance specification. In: MASCOTS 2006, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, pp. 303\u2013313 ( August 2006)","DOI":"10.1109\/MASCOTS.2006.39"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"issue":"7","key":"1_CR17","first-page":"1","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng.\u00a029(7), 1\u201318 (2003)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00593-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T03:03:53Z","timestamp":1551927833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00593-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005923","9783642005930"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00593-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}