Cheating is a key issue in multiplayer games as it causes unfairness which reduces legitimate users’ satisfaction and is thus detrimental to game revenue. Many commercial solutions prevent cheats by reacting to specific implementations of cheats. As a result, they respond more slowly to fast-changing cheat techniques. This work proposes a framework using Event-B to describe and detect cheats fr...

Business processes have tremendously changed the way large companies conduct their business: The integration of information systems into the workflows of their employees ensures a high service level and thus high customer satisfaction. One core aspect of business process engineering are events that steer the workflows and trigger internal processes. Strict requirements on interval-scaled tempor...

We consider a class of Kripke Structures in which the atomic propositions are events. This enables us to represent worlds as sets of events and the transition and satisfaction relations of Kripke structures as the subset and membership relations on sets. We use this class, called event Kripke structures, to model concurrency. The obvious semantics for these structures is a true concurrency sema...

Grounded in Mindfulness-to-Meaning Theory, this study examined the relation between dispositional mindfulness and life satisfaction through mediating mechanisms including savoring positive experiences gratitude. A total of 133 Chinese practitioners at 20–72 years old were recruited from a 3-day transnational meditation event Hong Kong. Findings based on structural equation modeling indicated th...

Job-loss is a rapidly growing concern as we witness the greatest and most rapid economic downturn in a century. The negative psychological effect of unemployment has increasingly garnered attention. Previous literature has offered a formidable prognosis, stating that in response to job-loss, people typically follow a pattern of rapid decline in life satisfaction and never return to preunemploym...

BACKGROUND The Olympic and Paralympic Games rely heavily on volunteers to provide many essential services, including medical care of athletes. OBJECTIVE This preliminary investigation sought to characterise the motivational influences and factors responsible for the satisfaction of Olympic and Paralympic healthcare volunteers. METHODS The 2002 Winter Games polyclinic healthcare volunteers w...

BACKGROUND The ExtaviJect® 30G autoinjector was developed to facilitate parenteral self-administration of interferon beta-1b (Extavia®), a first-line disease-modifying therapy in patients with multiple sclerosis. Our aim was to assess patient compliance with treatment when using the autoinjector, patients' and nurses' experiences of using the device, its tolerability, and patient satisfaction. ...

Having a loved one in the intensive care unit (ICU) is a stressful event, which may cause a high level of anxiety to the family members. This could threaten their wellbeing and ability to support the patients in, or after discharge from, the ICU. To investigate the outcomes of a brief cognitive-behavioral psycho-education program (B-CBE) to manage stress and anxiety of the main family caregiver...

BACKGROUND Minor side effects associated with chiropractic are common. However, little is known about their predictors or the effects of reactions on satisfaction and clinical outcomes. OBJECTIVE The objectives of this study are to compare the relative effects of cervical spine manipulation and mobilization on adverse reactions and to estimate the effects of adverse reactions on satisfaction ...