We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
:We explore the concept of film pace expressed through audio to analyse the film at a semantic level. We use domain knowledge to derive a number of measures for film audio pace....
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...
: Two major problems in constructing data federations (for example, data warehouses and database federations) concern achieving and maintaining consistency and a uniform representa...