Transactional information systems

Transactional Support for Cooperation in Multiagent-based Information Systems

Agent technology is a promising solution for coping with the ever-growing complexity of modern information systems involving highly distributed and error-prone information sources. Unfortunately, current prototypes often lack the robustness necessary for real-world deployment. We propose transaction mechanisms as a possible remedy. For this, we divide Multiagent Systems into two layers: (1) a p...

On Transactional Scheduling in Distributed Transactional Memory Systems

We present a distributed transactional memory (TM) scheduler called Bi-interval that optimizes the execution order of transactional operations to minimize conflicts. Bi-interval categorizes concurrent requests for a shared object into read and write intervals to maximize the parallelism of reading transactions. This allows an object to be simultaneously sent to nodes of reading transactions (in...

Formal Verification of Transactional Systems

Today, the trend in software is toward bigger, more complex systems. This is due in part to the fact that computers become more powerful every year leading users to expect more from them. People want software that is better adapted to their need which, in turn, merely makes software more complex. This trend has also been influenced by the expanding use of the internet for exchanging all kinds o...

Security Benchmarking of Transactional Systems

The Transactional Nature of Quantum Information

Information, in its communications sense, is a transactional property. If the received signals communicate choices made by the sender of the signals, then information has been transmitter by the sender to the receiver. Given this reality, the potential information in an unknown pure quantum state should be non-zero. We examine transactional quantum information, which unlike von Neumann entropy,...