Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
The purpose of visualization is not just to depict data, but to gain or present insight into the domain represented in data. However in visualization systems, this link between fe...
Many recent developments in technological design are aimed towards the ‘humanisation’ of technology, that is, making technology behave in a way that is more ‘intuitive’, ...