MSC+ is a generalization of hierarchical message sequence charts (hMSCs) having the capability to specify preemptive features such as watchdogs, generalized coregion and forbidden scenarios. In this paper, we shall illustrate the applications of MSC+ to the specification of reactive systems through the example of an Automatic Teller Machine (ATM). We shall bring out the additional advantage of ...

This paper describes two research projects that study typical Situated Action tasks using traditional cognitive science methodologies. The two tasks are decision making in a complex production environment and interaction with an Automated Teller Machine (ATM). Both tasks require that the decision maker and the user search for knowledge in the environment in order to execute their tasks. The goa...

The banking industry has seen the emergence of numerous service delivery channels, automated teller machines (ATMs), telephone banking, and online banking. Global financial systems mature competition have been compelled to research importance consumer satisfaction. Thus, this study aimed examine effects machine quality on customer satisfaction in commercial banks Ethiopia Afar regional state, N...

The competition in the manufacturing industry is currently moving very fast. Competitive advantage, increased production effectiveness operational activities, continuous performance improvement and business strategy Good quality something that companies must pay attention to be able compete globally. PT.X a company specializes repairing Automated Teller Machine (ATM) machine spare parts. In pro...

The aim of this study was to investigate bacterial contamination on surfaces randomly selected Automated Teller Machine and their sensitivity antibiotics in São Paulo city, Brazil. swabs collected aseptically were inoculated selective non-selective media triplicate incubated at 37 °C for 24 h. After Gram staining the isolated colonies, complementary biochemical tests applied. antibiotic pattern...

Constants with formulae of the form treated by D. Bailey, P. Borwein, and S. Plouffe (BBP formulae to a given base b) have interesting computational properties, and there are hints that they should be normal numbers, i.e., that their base b digits are randomly distributed. We study a formally limited subset of BBP formulae, which we call Machin-type BBP formulae, for which it relatively easy to...

This study examines e-fraud and bank performance: empirical evidence from Nigeria. Expo facto research design was used while time series data for the period of ten (10) years sourced Central Bank Nigeria (CBN) statistical Bulletin. Unit root test correlation matrix as a diagnostic tests. The Augmented Dickey Fuller (ADF) is to stationarity. results stationarity or unit show that all variables, ...

Constants with formulae of the form treated by D. Bailey, P. Borwein, and S. Plouffe (BBP formulae to a given base b) have interesting computational properties, such as allowing single digits in their base b expansion to be independently computed, and there are hints that they should be normal numbers, i.e., that their base b digits are randomly distributed. We study a formally limited subset o...