Our research project proposes an approach for providing transactional behavior to services coordination. In service composition functional aspects have been successfully addressed. However transactional properties have been poorly addressed using ad-hoc solutions at the back end of the systems. This situation makes current applications not reliable and not adaptable to existing distributed envi...

BACKGROUND Historically, primary medical care in the UK has been delivered by general practitioners who are independent contractors, operating under a contract, which until 2004 was subject to little performance management. In keeping with the wider political impetus to introduce markets and competition into the NHS, reforms were introduced to allow new providers to bid for contracts to provide...

Transactional memory is an appealing technology which frees programmer from lock-based programming. However, most of current hardware transactional memory systems are proposed for multi-core processors, and may face some challenges with the increasing of processor cores in many-core systems, such as inefficient utilization of transactional buffers, unsolved problem of transactional buffer overf...

Plasma is a proposed framework for incentivized and enforced execution of smart contracts which is scalable to a significant amount of state updates per second (potentially billions) enabling the blockchain to be able to represent a significant amount of decentralized financial applications worldwide. These smart contracts are incentivized to continue operation autonomously via network transact...

Smart contracts on the Ethereum blockchain greatly benefit from cutting-edge analysis techniques and pose significant challenges. A primary challenge is extremely low-level representation of deployed contracts. We present Elipmoc, a decompiler for next generation smart contract analyses. Elipmoc an evolution Gigahorse, top research decompiler, dramatically improving over it other state-of-the-a...

Abstract Important types of contractual relationships—among them those between integrated product manufacturers and their suppliers—are neither fully transactional nor relational. The agreements that govern these relationships incorporate highly detailed written terms focus not only on what is promised but also the details how it to be achieved suppliers’ actions will monitored responded over l...