{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:10:48Z","timestamp":1761621048104,"version":"3.37.3"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T00:00:00Z","timestamp":1286928000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s00607-010-0121-0","type":"journal-article","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T08:36:17Z","timestamp":1286958977000},"page":"315-334","source":"Crossref","is-referenced-by-count":5,"title":["Performability modeling of electronic funds transfer systems"],"prefix":"10.1007","volume":"91","author":[{"given":"Carlos","family":"Ara\u00fajo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ermeson","family":"Andrade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erica","family":"Sousa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Callou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Cunha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,13]]},"reference":[{"key":"121_CR1","doi-asserted-by":"crossref","DOI":"10.1201\/9781420040845","volume-title":"Design for reliability","author":"D Crowe","year":"2001","unstructured":"Crowe D, Feinberg A (2001) Design for reliability. CRC Press, West Palm Beach"},{"key":"121_CR2","volume-title":"The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling","author":"R Jain","year":"1991","unstructured":"Jain R (1991) The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling. Wiley, New York"},{"key":"121_CR3","doi-asserted-by":"crossref","DOI":"10.1145\/336992.337024","volume-title":"A methodology for workload characterization of e-commerce sites","author":"DA Menasc\u00e9","year":"1999","unstructured":"Menasc\u00e9 DA, Almeida VAF, Fonseca R, Mendes MA (1999) A methodology for workload characterization of e-commerce sites. ACM Press, New York"},{"key":"121_CR4","volume-title":"Performance by design: computer capacity planning by example","author":"DA Menasc\u00e9","year":"2005","unstructured":"Menasc\u00e9 DA, Almeida VAF (2005) Performance by design: computer capacity planning by example. Prentice Hall PTR, Englewood Cliffs"},{"key":"121_CR5","volume-title":"Performance analysis of communication systems with non-Markovian stochastic Petri nets","author":"R German","year":"2000","unstructured":"German R (2000) Performance analysis of communication systems with non-Markovian stochastic Petri nets. Wiley, New York"},{"key":"121_CR6","volume-title":"Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis","author":"AA Desrochers","year":"1995","unstructured":"Desrochers AA, Al-Jaar RY (1995) Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis. IEEE Press, Piscataway, New Jersey"},{"key":"121_CR7","doi-asserted-by":"crossref","unstructured":"Sousa E, Maciel P, Araujo C, Chicout F (2009) Performability evaluation of EFT systems for SLA assurance. IEEE Int Symp Parallel Distributed Process 1\u20138. doi: 10.1109\/IPDPS.2009.5161227","DOI":"10.1109\/IPDPS.2009.5161227"},{"key":"121_CR8","doi-asserted-by":"crossref","unstructured":"Sousa E, Maciel P, Araujo C, Chicout F, Alves G (2009) Performance modeling for evaluation and planning of electronic funds transfer systems. IEEE Symp Comp Commun 73\u201376. doi: 10.1109\/ISCC.2009.5202403","DOI":"10.1109\/ISCC.2009.5202403"},{"key":"121_CR9","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.1016\/j.amc.2005.06.005","volume":"174","author":"N Gharbi","year":"2006","unstructured":"Gharbi N, Ioualalen M (2006) GSPN analysis of retrial systems with servers breakdowns and repairs. Appl Math Comput 174: 1151\u20131168","journal-title":"Appl Math Comput"},{"issue":"10","key":"121_CR10","first-page":"2013","volume":"23","author":"JL Hellerstein","year":"2005","unstructured":"Hellerstein JL, Katircioglu K, Surendra M (2005) An on-line, business-oriented optimization of performance and availability for utility computing. Selected areas in communications. IEEE J 23(10): 2013\u20132021. doi: 10.1109\/JSAC.2005.854125","journal-title":"IEEE J"},{"key":"121_CR11","unstructured":"Trivedi KS, Hunter S, Garg S, Fricks R (1996) Reliability analysis techniques explored through a communication network example. In: Proceedings of international workshop on computer-aided design, test, and evaluation for dependability, Beijing, China, 2\u20133 July 1996"},{"key":"121_CR12","doi-asserted-by":"crossref","unstructured":"Catalan ML, Ludena DA, Umeno H (2007) VM-based benchmark and analysis system for testing online transaction processing. In: Proceedings of the second International conference on innovative computing, informatio and control, ICICIC, IEEE Computer Society, Washington, DC, p 18, 5\u20137 Sep 2007. Available at http:\/\/dx.doi.org\/10.1109\/ICICIC.2007.619","DOI":"10.1109\/ICICIC.2007.619"},{"key":"121_CR13","doi-asserted-by":"crossref","unstructured":"Zhang Q, Mi N, Smirni E, Riska A, Riedel E (2006) Evaluating the performability of systems with background jobs. In: Proceedings of the international conference on dependable systems and networks, pp 495\u2013504","DOI":"10.1109\/DSN.2006.33"},{"issue":"5","key":"121_CR14","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1049\/ip-cdt:20000741","volume":"147","author":"A Sesmun","year":"2000","unstructured":"Sesmun A, Turner LF (2000) Using performability in the design of communication networks. IEEE Proc Comput Digital Tech 147(5): 355\u2013363. doi: 10.1049\/ip-cdt:20000741","journal-title":"IEEE Proc Comput Digital Tech"},{"key":"121_CR15","unstructured":"Avizienis A, Laprie JC, Randell B (2001) Fundamental concepts of dependability. Technical report 739, Department of Computing Science, University of Newcastle upon Tyne Computing Science"},{"key":"121_CR16","unstructured":"Meyer JF, Sanders WH (1993) Specification and construction of performability models. Second international workshop on performability modeling of computer and communication systems"},{"key":"121_CR17","volume-title":"Design and analysis of fault-tolerant digital systems","author":"BW Johnson","year":"1989","unstructured":"Johnson BW (1989) Design and analysis of fault-tolerant digital systems. Addison-Wesley, Reading"},{"key":"121_CR18","volume-title":"Performability modelling: techniques and tools","author":"BR Haverkort","year":"2001","unstructured":"Haverkort BR, Marie R, Rubino G, Trivedi KS (2001) Performability modelling: techniques and tools. Wiley, New York"},{"issue":"8","key":"121_CR19","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1093\/comjnl\/39.8.647","volume":"39","author":"A Puliafito","year":"1996","unstructured":"Puliafito A, Riccobene S, Scarpa M (1996) Evaluation of performability parameters in client\u2013server environments. Comp J 39(8): 647\u2013662","journal-title":"Comp J"},{"key":"121_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2367-3","volume-title":"Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package","author":"R Sahner","year":"1996","unstructured":"Sahner R, Trivedi KS, Puliafito A (1996) Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package. Kluwer, Dordrecht"},{"key":"121_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W Reisig","year":"1985","unstructured":"Reisig W (1985) Petri nets: an introduction. Springer, New York"},{"key":"121_CR22","volume-title":"Modelling with generalized stochastic Petri nets","author":"MA Marsan","year":"1995","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, New York"},{"key":"121_CR23","doi-asserted-by":"crossref","unstructured":"Malhotra M, Reibman A (1993) Selecting and implementing phase approximations for semi-Markov models. In: Communications in statistics: stochastic models, vol 9, pp 473\u2013506","DOI":"10.1080\/15326349308807278"},{"key":"121_CR24","volume-title":"Probability and statistics with reliability, queuing, and computer science applications","author":"KS Trivedi","year":"2006","unstructured":"Trivedi KS (2006) Probability and statistics with reliability, queuing, and computer science applications, 2nd edn. Wiley, New York","edition":"2"},{"key":"121_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9884-2","volume-title":"Design of dependable computing systems","author":"JC Geffroy","year":"2002","unstructured":"Geffroy JC, Motet G (2002) Design of dependable computing systems. Kluwer Academic Publishers, Dordrecht"},{"key":"121_CR26","doi-asserted-by":"crossref","unstructured":"Aviienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput","DOI":"10.1109\/TDSC.2004.2"},{"key":"121_CR27","unstructured":"Pradhan DK (1996) Fault-tolerant computer system design"},{"key":"121_CR28","doi-asserted-by":"crossref","unstructured":"Sousa E, Maciel P, Araujo C (2009) Performability evaluation of EFT systems using expolinomial stochastic models. IEEE Int Conf Syst Man Cybern 3328\u20133333, 11\u201314 Oct 2009. doi: 10.1109\/ICSMC.2009.5346203","DOI":"10.1109\/ICSMC.2009.5346203"},{"key":"121_CR29","unstructured":"Itautec (1999) Reference guide to the scope\u2014electronic payment system"},{"key":"121_CR30","volume-title":"Microsoft Windows Server 2003 Performance Guide","author":"M Friedman","year":"2005","unstructured":"Friedman M (2005) Microsoft Windows Server 2003 Performance Guide. Microsoft Press Redmond, USA"},{"key":"121_CR31","unstructured":"Zimmermann A, Knoke M (2007) TimeNET 4.0: A software tool for the performability evaluation with stochastic and colored Petri nets; user manual. TU, Professoren der Fak. IV"},{"key":"121_CR32","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511612398","volume-title":"Measuring computer performance: a practitioner\u2019s guide","author":"DJ Lilja","year":"2000","unstructured":"Lilja DJ (2000) Measuring computer performance: a practitioner\u2019s guide. Cambridge University Press, Cambridge"},{"key":"121_CR33","doi-asserted-by":"crossref","unstructured":"Trivedi KS, Malhotra M, Fricks RM (1994) Markov reward approach to performability and reliability analysis. Modeling, analysis, and simulation of computer and telecommunication systems, MASCOTS\u201994. Proceedings of the second international workshop, pp 7\u201311, 31 Jan\u20132 Feb 1994","DOI":"10.1109\/MASCOT.1994.284455"},{"key":"121_CR34","doi-asserted-by":"crossref","unstructured":"Araujo C, Sousa E, Maciel P, Chicout F, Andrade E (2009) Performance modeling for evaluation and planning of electronic funds transfer systems with bursty arrival traffic. INTENSIVE \u201909, First international conference on intensive applications and services, pp 65\u201370, 20\u201325 April 2009. doi: 10.1109\/INTENSIVE.2009.17","DOI":"10.1109\/INTENSIVE.2009.17"},{"key":"121_CR35","doi-asserted-by":"crossref","unstructured":"Sastre RJL, Bascon SM, Herrero FJL (2006) New electronic funds transfer services over IP. Electrotechnical Conference, 2006. MELECON 2006. IEEE Mediterranean, pp 733\u2013736, 16\u201319 May 2006. doi: 10.1109\/MELCON.2006.1653204","DOI":"10.1109\/MELCON.2006.1653204"},{"issue":"6","key":"121_CR36","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1049\/ecej:19890057","volume":"1","author":"RJ Read","year":"1989","unstructured":"Read RJ (1989) EFTPOs: electronic funds transfer at point of sale. Electron Commun Eng J 1(6): 263\u2013270","journal-title":"Electron Commun Eng J"},{"key":"121_CR37","doi-asserted-by":"crossref","unstructured":"Staskauskas MG (1988) The formal specification and design of a distributed electronic funds-transfer system. IEEE Trans Comput","DOI":"10.1109\/12.9730"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-010-0121-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-010-0121-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-010-0121-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T08:26:01Z","timestamp":1559723161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-010-0121-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,13]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["121"],"URL":"https:\/\/doi.org\/10.1007\/s00607-010-0121-0","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"type":"print","value":"0010-485X"},{"type":"electronic","value":"1436-5057"}],"subject":[],"published":{"date-parts":[[2010,10,13]]}}}