Many programming languages, such as Clojure, Scala, and Haskell, support different concurrency models. In practice these models are often combined, however the semantics of the combinations are not always well-defined. In this paper, we study the combination of futures and Software Transactional Memory. Currently, futures created within a transaction cannot access the transactional state safely...

Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is a part of the ODMG 3.0 data objects standard. Although space reclamation in the context of persistence by reachability can be achieved automatically using garbage collection, relatively few papers address the problem of impleme...

Transactional sex may put young women and young men in sub-Saharan Africa at increased risk of contracting sexually transmitted infections (STIs), including HIV/AIDS. This behavior may also put young women at higher risk of pregnancy and childbearing. Policymakers and program managers need to know what factors put youth at increased risk. We investigated this issue using logistic regression ana...

This paper proposes an investigation on the effect of online privacy information on privacy evaluation in using mobile fitness applications. Drawing on the justice framework, we identify three key types of annotated privacy information, namely social rating, profile control, and security conformity, to be particularly important to users’ transactional privacy trade-off in evaluating mobile fitn...

The imminent arrival of best-effort transactional hardware has spurred new interest in the construction of nonblocking data structures, such as those that require atomic updates to k words of memory (for some small value of k). Since transactional memory itself (TM) was originally proposed as a universal construction for crafting scalable lock-free data structures, we explore the possibility of...

© 2014 M.E. Sharpe, Inc. All rights reserved. Permissions: www.copyright.com ISSN 1069–6679 (print) / ISSN 1944–7175 (online) DOI: 10.2753/MTP1069-6679220302 The customer management literature has made significant progress toward evaluating the effectiveness of marketing activities using customer profitability as a basis. Customer profitability is an individual-level metric based on the discoun...

Providing transactional collections of data structures with the same performance of highly concurrent data structures enables performance-competitive transactional composability. Although Software Transactional Memory (STM) is increasingly becoming a promising technology for designing and implementing transactional applications, concurrent data structures still do not exploit STM’s advantages. ...

In many application domains, transactions are the records of personal activities. Transactions always reveal personal behavior customs, so clustering the transactional data can divide individuals into different segments. Transactional data are often accompanied with a concept hierarchy, which defines the relevancy among all of the possible items in transactional data. However, most of clusterin...

In this paper, we propose a method of transactional behavior description in component-based software architectures. We fucus on the specification of transactional models employed in components. Especially, we try to specify the creation and canceling dependencies among transactions. For this purpose, we enhance the SOFA software architecture so that it can be dynamic: at runtime, new interface ...

Handling workflow transactional behavior remains a main problem to ensure a correct and reliable execution. It is obvious that the discovery, and the explanation of this behavior, would enable to better understand and control workflow recovery. Unfortunately, previous workflow mining works have concentrated their efforts on control flow aspects. Although powerful, these proposals are found lack...