{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:00:29Z","timestamp":1725753629228},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642414275"},{"type":"electronic","value":"9783642414282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41428-2_31","type":"book-chapter","created":{"date-parts":[[2013,10,22]],"date-time":"2013-10-22T05:12:42Z","timestamp":1382418762000},"page":"385-398","source":"Crossref","is-referenced-by-count":3,"title":["Quantitative Dependability Assessment of Distributed Systems Subject to Variable Conditions"],"prefix":"10.1007","author":[{"given":"Salvatore","family":"Distefano","sequence":"first","affiliation":[]},{"given":"Dario","family":"Bruneo","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Longo","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Scarpa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"31_CR1","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0951-8320(99)00023-X","volume":"66","author":"M.S. Finkelstein","year":"1999","unstructured":"Finkelstein, M.S.: Wearing-out of components in a variable environment. Reliability Engineering & System Safety\u00a066(3), 235\u2013242 (1999)","journal-title":"Reliability Engineering & System Safety"},{"key":"31_CR2","first-page":"80","volume":"3","author":"N. Sedyakin","year":"1966","unstructured":"Sedyakin, N.: On one physical principle in reliability theory. Tekhn. Kibernetika (in Russian - Technical Cybernetics)\u00a03, 80\u201387 (1966)","journal-title":"Tekhn. Kibernetika (in Russian - Technical Cybernetics)"},{"key":"31_CR3","series-title":"Statistics for Industry and Technology","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0161-8","volume-title":"Semi-Markov Processes and Reliability","author":"N. Limnios","year":"2001","unstructured":"Limnios, N., Oprisan, G.: Semi-Markov Processes and Reliability. Statistics for Industry and Technology. Birkh\u00e4user, Boston (2001)"},{"key":"31_CR4","volume-title":"Renewal Theory","author":"D.R. Cox","year":"1962","unstructured":"Cox, D.R.: Renewal Theory. Methuen, London (1962)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Distefano, S., Longo, F., Scarpa, M.: Availability assessment of ha standby redundant clusters. In: SRDS 2010 Proceedings of the 2010 29th IEEE Symposium on Reliable Distributed Systems, pp. 265\u2013274 (2010)","DOI":"10.1109\/SRDS.2010.37"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Distefano, S., Longo, F., Scarpa, M.: Symbolic representation techniques in dynamic reliability evaluation. In: 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE), pp. 45\u201353 (2010)","DOI":"10.1109\/HASE.2010.28"},{"key":"31_CR7","volume-title":"Matrix-geometric solutions in stochastic models: an algorithmic approach","author":"M.F. Neuts","year":"1981","unstructured":"Neuts, M.F.: Matrix-geometric solutions in stochastic models: an algorithmic approach. Johns Hopkins University Press, Baltimore (1981)"},{"issue":"4","key":"31_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF01721011","volume":"2","author":"M.F. Neuts","year":"1981","unstructured":"Neuts, M.F., Meier, K.S.: On the use of phase type distributions in reliability modelling of systems with two components. OR Spectrum\u00a02(4), 227\u2013234 (1981)","journal-title":"OR Spectrum"},{"key":"31_CR9","unstructured":"Bobbio, A., Scarpa, M.: Kronecker representation of stochastic petri nets with discrete ph distributions. In: Proc. Third IEEE Ann. Int\u2019l Computer Performance and Dependability Symp, IPDS 1998 (1998)"},{"issue":"2","key":"31_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.ress.2003.10.003","volume":"84","author":"R. P\u00e9rez-Oc\u00f3n","year":"2004","unstructured":"P\u00e9rez-Oc\u00f3n, R., Montoro-Cazorla, D.: A multiple system governed by a quasi-birth-and-death process. Reliability Engineering & System Safety\u00a084(2), 187\u2013196 (2004)","journal-title":"Reliability Engineering & System Safety"},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-02924-0_4","volume-title":"Computer Performance Engineering","author":"F. Longo","year":"2009","unstructured":"Longo, F., Scarpa, M.: Applying symbolic techniques to the representation of non-markovian models with continuous PH distributions. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol.\u00a05652, pp. 44\u201358. Springer, Heidelberg (2009)"},{"key":"31_CR12","unstructured":"Scarpa, M., Longo, F.: Two layer symbolic representation for stochastic models with phase type distributed events. International Journal of Systems Science (2013)"},{"issue":"2","key":"31_CR13","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.comnet.2011.10.003","volume":"56","author":"D. Bruneo","year":"2012","unstructured":"Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Evaluating wireless sensor node longevity through markovian techniques. Computer Networks\u00a056(2), 521\u2013532 (2012)","journal-title":"Computer Networks"},{"issue":"6","key":"31_CR14","doi-asserted-by":"publisher","first-page":"1072","DOI":"10.1109\/TC.2013.30","volume":"62","author":"D. Bruneo","year":"2013","unstructured":"Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Workload-based software rejuvenation in cloud systems. IEEE Transactions on Computers\u00a062(6), 1072\u20131085 (2013)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"31_CR15","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1109\/49.285316","volume":"12","author":"R. Franz","year":"1994","unstructured":"Franz, R., Gradischnig, K.D., Huber, M.N., Stiefel, R.: Atm-based signaling network topics on reliability and performance. IEEE Journal on Selected Areas in Communications\u00a012(3), 517\u2013525 (1994)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"31_CR16","unstructured":"Herrmann, C., Lott, M., Du, Y., Hettich, A.: A wireless atm lan prototype: Test bed implementation and first performance results. In: Proc. of MTT-S Wireless 1998 Symposium, pp. 145\u2013150 (1998)"},{"key":"31_CR17","unstructured":"Liu, H.L., Shooman, M.: Reliability computation of an ip\/atm network with congestion. In: Annual. Reliability and Maintainability Symposium, pp. 581\u2013586 (2003)"},{"issue":"11","key":"31_CR18","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MCOM.2011.6069707","volume":"49","author":"R. Ganti","year":"2011","unstructured":"Ganti, R., Ye, F., Lei, H.: Mobile crowdsensing: current state and future challenges. IEEE Communications Magazine\u00a049(11), 32\u201339 (2011)","journal-title":"IEEE Communications Magazine"},{"issue":"4","key":"31_CR19","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1177\/1748006X10397845","volume":"225","author":"D. Bruneo","year":"2011","unstructured":"Bruneo, D., Puliafito, A., Scarpa, M.: Energy control in dependable wireless sensor networks: a modelling perspective. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability\u00a0225(4), 424\u2013434 (2011)","journal-title":"Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability"},{"issue":"10","key":"31_CR20","doi-asserted-by":"publisher","first-page":"1793","DOI":"10.1080\/00207721.2012.670293","volume":"44","author":"S. Distefano","year":"2013","unstructured":"Distefano, S.: Evaluating reliability of wsn with sleep\/wake-up interfering nodes. International Journal of Systems Science\u00a044(10), 1793\u20131806 (2013)","journal-title":"International Journal of Systems Science"},{"key":"31_CR21","first-page":"21","volume-title":"Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, USENIXATC 2010","author":"A. Carroll","year":"2010","unstructured":"Carroll, A., Heiser, G.: An analysis of power consumption in a smartphone. In: Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, USENIXATC 2010, p. 21. USENIX Association, Berkeley (2010)"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Reliability assessment of wireless sensor nodes with non-linear battery discharge. In: 2010 IFIP Wireless Days (WD), pp. 1\u20135. IEEE Press (2010)","DOI":"10.1109\/WD.2010.5657711"}],"container-title":["Lecture Notes in Computer Science","Internet and Distributed Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41428-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T17:40:37Z","timestamp":1558633237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41428-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642414275","9783642414282"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41428-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}