We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
Reversible, or information-lossless, circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requir...
Vivek V. Shende, Aditya K. Prasad, Igor L. Markov,...
In this paper we argue that “persuasive technologies,” developed to motivate behaviour change in users, have so far failed to exploit the established body of empirical researc...
Ben Kirman, Conor Linehan, Shaun Lawson, Derek Fos...
We created a simple-to-use framework to construct gazeresponsive applications using web technology focussing on text. A plugin enables any compatible browser to interpret a new se...
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...