{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:15:59Z","timestamp":1771042559925,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540709510","type":"print"},{"value":"9783540709527","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_12","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:40:01Z","timestamp":1182847201000},"page":"181-194","source":"Crossref","is-referenced-by-count":4,"title":["Evaluating Quality of Service for Service Level Agreements"],"prefix":"10.1007","author":[{"given":"Allan","family":"Clark","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Knottenbelt, W.J.: Generalised Markovian analysis of timed transition systems. MSc thesis, University of Cape Town, South Africa (July 1996)"},{"key":"12_CR2","unstructured":"Condor project homepage. Website with documentation and software, University of Wisconsin-Madison (April 2006), http:\/\/www.cs.wisc.edu\/condor\/"},{"issue":"2-4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1002\/cpe.938","volume":"17","author":"D. Thain","year":"2005","unstructured":"Thain, D., Tannenbaum, T., Livny, M.: Distributed computing in practice: the Condor experience. Concurrency - Practice and Experience\u00a017(2-4), 323\u2013356 (2005)","journal-title":"Concurrency - Practice and Experience"},{"key":"12_CR4","doi-asserted-by":"crossref","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)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bradley, J.T., Knottenbelt, W.J.: The ipc\/HYDRA tool chain for the analysis of PEPA models. In: Proc. 1st International Conference on the Quantitative Evaluation of Systems (QEST 2004), Enschede, Netherlands, September, pp. 334\u2013335 (2004)","DOI":"10.1109\/QEST.2004.1348054"},{"key":"12_CR6","unstructured":"Hillston, J., Ribaudo, M.: Stochastic process algebras: a new approach to performance modeling. In: Bagchi, K., Zobrist, G. (eds.) Modeling and Simulation of Advanced Computer Systems, Gordon Breach (1998)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1016\/j.jpdc.2004.03.017","volume":"64","author":"N.J. Dingle","year":"2004","unstructured":"Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models. Journal of Parallel and Distributed Computing\u00a064, 908\u2013920 (2004)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"12_CR8","volume-title":"Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems","author":"J.T. Bradley","year":"2003","unstructured":"Bradley, J.T., Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models. In: Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems, Nice, April 2003, IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"1\u20134","key":"12_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0166-5316(99)00061-9","volume":"39","author":"W.J. Knottenbelt","year":"2000","unstructured":"Knottenbelt, W.J., Harrison, P.G., Mestern, M.S., Kritzinger, P.S.: A probabilistic dynamic technique for the distributed generation of very large state spaces. Performance Evaluation\u00a039(1\u20134), 127\u2013148 (2000)","journal-title":"Performance Evaluation"},{"key":"12_CR10","unstructured":"Mehmood, R., Crowcroft, J.: Parallel iterative solution method for large sparse linear equation systems. Technical Report UCAM-CL-TR-650, Computer Laboratory, University of Cambridge, UK (October 2005)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","first-page":"169","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 169\u2013276. Springer, Heidelberg (1996)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0305-0548(77)90007-7","volume":"4","author":"W. Grassmann","year":"1977","unstructured":"Grassmann, W.: Transient solutions in Markovian queueing systems. Computers and Operations Research\u00a04, 47\u201353 (1977)","journal-title":"Computers and Operations Research"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., Miller, D.R.: The randomization technique as a modelling tool and solution procedure for transient Markov processes. Operations Research\u00a032, 343\u2013361 (1984)","journal-title":"Operations Research"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/337449.337524","volume-title":"Proceedings of the ACM Conference on Java Grande","author":"A. Globus","year":"2000","unstructured":"Globus, A., Langhirt, E., Livny, M., Ramamurthy, R., Solomon, M., Traugott, S.: JavaGenes and Condor: Cycle-scavenging genetic algorithms. In: Proceedings of the ACM Conference on Java Grande, San Francisco, CA, pp. 134\u2013139. ACM Press, New York (2000)"},{"key":"12_CR16","unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package. Department of Electrical and Computer Engineering, University of Colorado at Boulder (February 2001)"},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1109\/QEST.2005.2","volume-title":"Proceedings of the Second International conference Quantitative Evaluation of Systems (QEST)","author":"J.-P. Katoen","year":"2005","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: Proceedings of the Second International conference Quantitative Evaluation of Systems (QEST), pp. 243\u2013244. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"B.L. Fox","year":"1988","unstructured":"Fox, B.L., Glynn, P.W.: Computing Poisson probabilities. Communications of the ACM\u00a031, 440\u2013445 (1988)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T16:34:53Z","timestamp":1556555693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}