{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T22:35:43Z","timestamp":1693866943350},"reference-count":28,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Performance Evaluation"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s0166-5316(00)00065-1","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T23:55:37Z","timestamp":1034639737000},"page":"57-76","source":"Crossref","is-referenced-by-count":8,"title":["Evaluating layered distributed software systems with fault-tolerant features"],"prefix":"10.1016","volume":"45","author":[{"given":"Olivia","family":"Das","sequence":"first","affiliation":[]},{"given":"C","family":"Murray Woodside","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/S0166-5316(00)00065-1_BIB1","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","article-title":"On evaluating the performability of degradable computing systems","volume":"29","author":"Meyer","year":"1980","journal-title":"IEEE Trans. Comput."},{"issue":"7","key":"10.1016\/S0166-5316(00)00065-1_BIB2","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1109\/TC.1982.1676062","article-title":"Closed-form solutions of performability","volume":"31","author":"Meyer","year":"1982","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"10.1016\/S0166-5316(00)00065-1_BIB3","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/12.2184","article-title":"Performability analysis, measures, an algorithm and a case study","volume":"37","author":"Smith","year":"1988","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB4","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0377-2217(89)90335-4","article-title":"Markov and Markov Reward models transient analysis: an overview of numerical approaches","volume":"40","author":"Reibman","year":"1989","journal-title":"Eur. J. Oper. Res."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB5","doi-asserted-by":"crossref","unstructured":"G. Ciardo, A. Blakemore, P.F. Chimento Jr., J.K. Muppala, K.S. Trivedi, Automated generation and analysis of Markov reward models using stochastic reward nets, in: C. Meyer, R. Plemmons (Eds.), Linear Algebra, Markov Chains and Queueing Models, Springer, Berlin, 1992.","DOI":"10.1007\/978-1-4613-8351-2_11"},{"key":"10.1016\/S0166-5316(00)00065-1_BIB6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0166-5316(92)90004-Z","article-title":"Composite performance and dependability analysis","volume":"14","author":"Trivedi","year":"1992","journal-title":"Perform. Eval."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB7","doi-asserted-by":"crossref","unstructured":"B.R. Haverkort, K.S. Trivedi, Specification and generation of Markov reward models, Discrete-Event Dynamic Systems: Theory and Applications 3 (1993) 219\u2013247.","DOI":"10.1007\/BF01439850"},{"issue":"1","key":"10.1016\/S0166-5316(00)00065-1_BIB8","first-page":"225","article-title":"Performability modelling using dynamic queueing networks","volume":"17","author":"Haverkort","year":"1989","journal-title":"ACM Perform. Eval. Rev."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB9","unstructured":"B.R. Haverkort, I.G. Niemegeers, On the mutual performance-dependability influence in dynamic queueing networks, in: Proceedings of the International Workshop on Performability Modelling of Computer and Communication Systems, 1991, pp. 33\u201340."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB10","unstructured":"B.R. Haverkort, I.G. Niemegeers, P.V. van Zanten, DyQNtool\u2014a performability modelling tool based on the dynamic queueing network concept, in: G. Balbo, G. Serazzi (Eds.), Computer Performance Evaluation, Elsevier Science, Amsterdam, 1992, pp. 181\u2013195."},{"issue":"2","key":"10.1016\/S0166-5316(00)00065-1_BIB11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0166-5316(89)90039-4","article-title":"Throughput calculation for basic stochastic rendezvous networks","volume":"9","author":"Woodside","year":"1989","journal-title":"Perform. Eval."},{"issue":"1","key":"10.1016\/S0166-5316(00)00065-1_BIB12","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/12.368012","article-title":"The stochastic rendezvous network model for performance of synchronous client\u2013server-like distributed software","volume":"44","author":"Woodside","year":"1995","journal-title":"IEEE Trans. Comput."},{"issue":"8","key":"10.1016\/S0166-5316(00)00065-1_BIB13","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1109\/32.403785","article-title":"The method of layers","volume":"21","author":"Rolia","year":"1995","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB14","unstructured":"E. Horowitz, S. Sahni, Fundamentals of Computer Algorithms, Computer Science Press, Rockville, MD, 1978."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB15","doi-asserted-by":"crossref","unstructured":"O. Das, Performance and dependability analysis of fault-tolerant layered distributed systems, Master\u2019s Thesis, Department of Systems and Computer Engineering, Carleton University, 1998.","DOI":"10.1109\/IPDS.1998.707716"},{"issue":"1\u20132","key":"10.1016\/S0166-5316(00)00065-1_BIB16","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0166-5316(95)96869-T","article-title":"A toolset for performance engineering and software design of client\u2013server systems","volume":"24","author":"Franks","year":"1995","journal-title":"Perform. Eval."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB17","unstructured":"N.J. Nilsson, Principles of Artificial Intelligence, Tioga, Palo Alto, CA, 1980."},{"issue":"2","key":"10.1016\/S0166-5316(00)00065-1_BIB18","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/24.31102","article-title":"Fault trees and imperfect coverage","volume":"38","author":"Dugan","year":"1989","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/S0166-5316(00)00065-1_BIB19","doi-asserted-by":"crossref","unstructured":"R.A. Sahner, K.S. Trivedi, A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach using the SHARPE Software Package, Kluwer Academic Publishers, Boston, 1996.","DOI":"10.1007\/978-1-4615-2367-3"},{"key":"10.1016\/S0166-5316(00)00065-1_BIB20","unstructured":"D.K. Pradhan, Fault-tolerant Computer System Design, Prentice-Hall, Upper Saddle River, NJ, 1996 (Chapter 7, Section 7.5.2)."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB21","unstructured":"J.B. Dugan, M.R. Lyu, Dependability modelling for fault-tolerant software and systems, in: M. R. Lyu (Ed.), Software Fault Tolerance, Wiley, Chichester, UK, 1995, pp. 109\u2013138."},{"key":"10.1016\/S0166-5316(00)00065-1_BIB22","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/TR.1979.5220476","article-title":"An improved algorithm for network reliability","volume":"R-28","author":"Abraham","year":"1979","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/S0166-5316(00)00065-1_BIB23","doi-asserted-by":"crossref","first-page":"1224","DOI":"10.1109\/TC.1987.1676862","article-title":"SYREL: a symbolic reliability algorithm based on path cutset methods","volume":"C-36","author":"Hariri","year":"1987","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"10.1016\/S0166-5316(00)00065-1_BIB24","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/24.85455","article-title":"An improved algorithm for symbolic reliability analysis","volume":"R-40","author":"Veeraghavan","year":"1991","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/S0166-5316(00)00065-1_BIB25","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/net.3230250308","article-title":"A survey of efficient reliability computation using disjoint products approach","volume":"25","author":"Rai","year":"1995","journal-title":"Networks"},{"key":"10.1016\/S0166-5316(00)00065-1_BIB26","doi-asserted-by":"crossref","unstructured":"R.A. Sahner, K.S. Trivedi, Reliability modeling using SHARPE, IEEE Trans. Reliability 36 (1987) 186\u2013193.","DOI":"10.1109\/TR.1987.5222336"},{"issue":"10","key":"10.1016\/S0166-5316(00)00065-1_BIB27","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","article-title":"Performance and reliability analysis using directed acyclic graphs","volume":"13","author":"Sahner","year":"1987","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"10.1016\/S0166-5316(00)00065-1_BIB28","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1109\/32.464543","article-title":"Software bottlenecking in client\u2013server systems and rendezvous networks","volume":"21","author":"Neilson","year":"1995","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166531600000651?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166531600000651?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T18:40:19Z","timestamp":1580236819000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0166531600000651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S0166531600000651"],"URL":"https:\/\/doi.org\/10.1016\/s0166-5316(00)00065-1","relation":{},"ISSN":["0166-5316"],"issn-type":[{"value":"0166-5316","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}