This paper presents a rigorous approach to specifying, modelling, verifying and validating the behaviour of web service compositions with the goal of simplifying the task of designing coordinated distributed services and their interaction requirements. We address these issues through the use of rigorous software process analysis techniques, specifying semantics for web service composition stand...

service failure can put companies out of business if attention is not paid to this problem. the purposes of this study were to investigate the explanatory relationships between hotel guests’ perceptions of (a) service failure; (b) service recovery strategies in each service failure situation and behavioral intentions. this study explained the components of service recovery strategies used when ...

Competition in the online food delivery industry is getting tougher. Hence, companies must increase customer trust and loyalty to continue compete. Factors expected are perceived ease of use enjoyment. The research aimed determine whether there an influence between enjoyment on service Indonesia, with as a mediating variable. applied quantitative method, using SEM WarpPLS 7.0 software. In addit...

Wide issue processors with many pipeline stages require e cient branch prediction for high throughput. In this paper, we propose an Embedded, Architecturally Simple and E cient (EASE) branch predictor, which performs well for programs having a small number (100) and a large number (16,000) of instructions. EASE uses a combination of a G-share predictor and a one-level predictor. In EASE, one-le...

Critical care patients often experience significant pain and anxiety. These symptoms may be rooted existentially as patients endure fear and uncertainty, but disease and treatment sources are other common offenders, as are noxious environmental stimuli. Unrelieved pain induces a generalized sympathetic response (increasing heart rate, blood pressure, respiratory rate, and peripheral resistance)...

Individuals differ in their propensity to adopt new technologies, and thus the paper integrates technology readiness index (TRI) 2.0 with technology acceptance model (TAM) by investigating how B2B decision makers’ technology readiness explains perceived ease of use and perceived usefulness of digital services. The study further investigates how perceived ease of use and perceived usefulness imp...

Services offered through the mobile channel are increasing rapidly. However, limited understanding exists on the variation in adoption of these services. This study provides insights on this area by examining factors that influence the adoption of mobile banking services. Based on UTAUT, innovation diffusion, and ubiquitous computing framework, we identity accessibility, alertness, personalizat...

Automatic evaluation and consumption of Web services requires a comprehensive semantic information model of a Web service. One example of a language that facilitates capability-driven description of services is OWL-S. However, it imposes two limitations: (1) it offers no native support for the description of certain rule types often needed for service description and (2) it leads to very large ...