Live media production – the presentation of audio-visual content at events such as conferences and concerts – is a high intensity task where a small production team must inter...
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
We present an interactive system for creating pen-and-ink-style line drawings from greyscale images in which the strokes of the rendered illustration follow the features of the or...
Michael Salisbury, Michael T. Wong, John F. Hughes...
Web services are loosely coupled software components that are published, discovered, and invoked across the Web. As the use of Web services grows, in order to correctly interact w...
We use a haptically enhanced mixing board with a video projector as an interface to various data visualization tasks. We report results of an expert review with four participants,...
Matthew Crider, Steven Bergner, Thomas N. Smyth, T...