Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
This paper aims to contribute with an understanding of meaningful experiences of photography, to support reflection upon the design of future camera devices. We have conducted a s...
This paper illustrates our preliminary studies of new interactive tools that support the generation of sequential art for entertainment, learning and scientific discourse. In the ...
Duncan Rowland, Dan Porter, Mel Gibson, Kevin Walk...