Sciweavers

1800 search results - page 288 / 360
» Feature Interaction in Composed Systems
Sort
View
TEI
2009
ACM
92views Hardware» more  TEI 2009»
15 years 8 months ago
Media Crate: tangible live media production interface
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...
Tom Bartindale, Jonathan Hook, Patrick Olivier
ICSE
1999
IEEE-ACM
15 years 8 months ago
A Practical Method for Verifying Event-Driven Software
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 ...
Gerard J. Holzmann, Margaret H. Smith
SIGGRAPH
1997
ACM
15 years 8 months ago
Orientable textures for image-based pen-and-ink illustration
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...
APCCM
2007
15 years 5 months ago
A Framework for Managing the Evolution of Business Protocols in Web Services
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...
Seung Hwan Ryu, Régis Saint-Paul, Boualem B...
131
Voted
GRAPHICSINTERFACE
2007
15 years 5 months ago
A mixing board interface for graphics and visualization applications
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...