This paper explores some of the areas of intersection between videogames and both digital and non-digital art practice. By looking at examples of art practice drawn from videogame...
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
The recent work on business process flexibility focuses primarily on defining and classifying business process flexibility and developing strategies, architectures, and tactics for...
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
Abstract. Ubiquitous interaction places the user in the centre of dynamic configurations of technology, where work not necessarily is performed through a single personal computer, ...