10908 search results - page 1912 / 2182 » Requirements Engineering Tasks |
172
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
174
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
150
click to vote
AVI
2004
15 years 8 months ago
2004
Recent advances in computer video projection open up new possibilities for real-time interactive, persuasive displays. Now a display can continuously adapt to a viewer so as to ma...
177
click to vote
AVI
2004
15 years 8 months ago
2004
Stitching is a new interaction technique that allows users to combine pen-operated mobile devices with wireless networking by using pen gestures that span multiple displays. To st...
171
click to vote
AVI
2006
15 years 8 months ago
2006
The need for effective search for television content is growing as the number of choices for TV viewing and/or recording explodes. In this paper we describe a preliminary prototyp...