{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:26Z","timestamp":1725549986314},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_8","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"94-108","source":"Crossref","is-referenced-by-count":4,"title":["Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering"],"prefix":"10.1007","author":[{"given":"A.","family":"Bu\u0161i\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Fourneau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0166-5316(99)00002-4","volume":"35","author":"J.A. Carrasco","year":"1999","unstructured":"Carrasco, J.A.: Bounding steady-state availability models with group repair and phase type repair distributions. Performance Evaluation\u00a035, 193\u2013204 (1999)","journal-title":"Performance Evaluation"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/BFb0022196","volume-title":"Computer Performance Evaluation Modelling Techniques and Tools","author":"G. Ciardo","year":"1997","unstructured":"Ciardo, G., Miner, A.S.: Storage alternatives for larger structured state spaces. In: Marie, R., Plateau, B., Calzarossa, M.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol.\u00a01245, pp. 44\u201357. Springer, Heidelberg (1997)"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/1634.1637","volume":"31","author":"P.J. Courtois","year":"1984","unstructured":"Courtois, P.J., Semal, P.: Bounds for the positive eigenvectors of nonnegative matrices and their approximations. J. ACM\u00a031(4), 804\u2013825 (1984)","journal-title":"J. ACM"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1051\/ro:2003015","volume":"37","author":"T. Dayar","year":"2003","unstructured":"Dayar, T., Fourneau, J.M., Pekergin, N.: Transforming stochastic matrices for stochastic comparison with the st-order. RAIRO-RO\u00a037, 85\u201397 (2003)","journal-title":"RAIRO-RO"},{"unstructured":"Dayar, T., Pekergin, N.: Stochastic comparison, reorderings, and nearly completely decomposable Markov chains. In: Plateau, B., Stewart, W. (eds.) Proceedings of the International Conference on the Numerical Solution of Markov Chains (NSMC 1999), pp. 228\u2013246. Prensas universitarias de Zaragoza (1999)","key":"8_CR5"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-45798-4_4","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"J.M. Fourneau","year":"2002","unstructured":"Fourneau, J.M., Pekergin, N.: An algorithmic approach to stochastic bounds. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 64\u201388. Springer, Heidelberg (2002)"},{"unstructured":"Fourneau, J.M., Lecoz, M., Pekergin, N., Quessette, F.: An open tool to compute stochastic bounds on steady-state distributiuon and rewards. In: IEEE Mascots 2003, Orlando, USA (2003)","key":"8_CR7"},{"doi-asserted-by":"crossref","unstructured":"Fourneau, J.M., Lecoz, M., Quessette, F.: Algorithms for an irreducible and lumpable strong stochastic bound. In: Numerical Solution of Markov Chains, USA (2003)","key":"8_CR8","DOI":"10.1016\/j.laa.2004.02.005"},{"issue":"4","key":"8_CR9","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/179812.179848","volume":"41","author":"J.C.S. Lui","year":"1994","unstructured":"Lui, J.C.S., Muntz, R.: Computing bounds on steady state availability of repairable computer systems. J. ACM\u00a041(4), 676\u2013707 (1994)","journal-title":"J. ACM"},{"doi-asserted-by":"crossref","unstructured":"Mahevas, S., Rubino, G.: Bounding asymptotic dependability and performance measures. In: Second IEEE International Performance and Dependability Symposium, USA, pp. 176\u2013186 (1996)","key":"8_CR10","DOI":"10.1109\/IPDS.1996.540219"},{"issue":"12","key":"8_CR11","doi-asserted-by":"publisher","first-page":"1714","DOI":"10.1109\/12.40849","volume":"38","author":"R. Muntz","year":"1989","unstructured":"Muntz, R., de Souza e Silva, E., Goyal, A.: Bounding availability of repairable computer systems. IEEE Trans. on Computers\u00a038(12), 1714\u20131723 (1989)","journal-title":"IEEE Trans. on Computers"},{"doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. In: Proc. of the SIGMETRICS Conference, Texas, pp. 147\u2013154 (1985)","key":"8_CR12","DOI":"10.1145\/317795.317819"},{"key":"8_CR13","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"8_CR14","volume-title":"Comparison Methods for Queues and Other Stochastic Models","author":"D. Stoyan","year":"1983","unstructured":"Stoyan, D.: Comparison Methods for Queues and Other Stochastic Models. Wiley, Chichester (1983)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:41:36Z","timestamp":1605642096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11549970_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}