In this paper we will discuss the effects that digital rights management has upon the music industry. Whether it hinders the consumers experience and whether there is any actual b...
This article describes a framework for managing the life cycle of knowledge in organisations and to utilise this framework for reusing and repurposing knowledge work. The framework...
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
We present the SQRAM architecture for quantum computing, which is based on Knill’s QRAM model. We detail a suitable instruction set, which implements a universal set of quantum ...
Rajagopal Nagarajan, Nikolaos Papanikolaou, David ...
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...