We present a static verification approach for programs running under snapshot isolation (SI) and similar relaxed transactional semantics. Relaxed conflict detection schemes such as snapshot isolation (SI) are used widely. Under SI, transactions are no longer guaranteed to be serializable, and the simplicity of reasoning sequentially within a transaction is lost. In this paper, we present an app...

The Web frequently suffers from failures which affect the performance and consistency of applications run over it. An important fault-tolerance technique is the use of atomic transactions for controlling operations on services. While it has been possible to make server-side Web applications transactional, browsers typically did not possess such facilities. However, with the advent of Java it is...

the purpose of this study is evaluating the impact of organizational culture and leadership style on knowledge management considering the mediating role of technology acceptance. the hypotheses were tested against the data collected from a sample of 54 manufacturing companies in qazvin province, using the variance based structural equations modeling (partial least square technique) and path ana...

Current Web services composition approaches do not take into account transactional requirements defined by designers. The transactional challenges raised by the composition of Web services are twofold: relaxed atomicity and dynamicity. In this paper, we propose a new process to automate the design of transactional composite Web services. Our solution enables the composition of Web services not ...

Memory transactions provide programmers with a convenient abstraction for concurrent programs: a keyword (such as atomic) designating a region of code that appears, from the perspective of concurrent threads, to execute atomically. Unfortunately, existing implementations in the form of software transactional memory (STM) are often ineffective due to their monolithic nature: every single read or...

Bass and his colleagues initiated the empirical investigation of transformational and transactional leadership two decades ago. They proposed that transformational leadership is comprised of four dimensions, that transactional leadership is composed of three dimensions, and that an additional category of non-leadership exists (laissez-faire leadership). The Multifactor Leadership Questionnaire ...

Despite the increasing scope for transactional approaches to corporate political activity (CPA) in emerging markets and rising concerns about the use of relational approaches, foreign firms in emerging economies appear to be reluctant to adopt transactional approaches to CPA. Using Resource Dependence theory we argue that criticality of resources, product diversification, integration with other...

This study aimed to examine the risk factors for engaging in transactional sex among young females in Montserrado County, Liberia. Data from an HIV behavioral survey conducted among young people aged 14 - 25 years were used. The analytical sample included 493 sexually-experienced females. Bivariate and multivariate analyses were conducted. We found that 72% of our sample had ever engaged in tra...

Sex workers have long been considered a high-risk group for HIV infection, but to date little quantitative research has explored the association between HIV risk and exchange of sex for material gain by women in the general population. The objective of this study was to estimate the prevalence of such transactional sex among women attending antenatal clinics in Soweto, South Africa, to identify...

This paper presents a new approach to exclude problems arising from dynamically switching between protected concurrent and unprotected single-threaded use of shared data when using software transactional memory in OO languages such as Java. The approach is based on a simple but effective programming model separating transactions from non-transactional operation. It prevents the application prog...