4460 search results - page 637 / 892 » Formal methods for interactive systems |
208
click to vote
AGILEDC
2007
IEEE
16 years 27 days ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
159
click to vote
PERVASIVE
2007
Springer
16 years 20 days ago
2007
Springer
This paper addresses two problems: “What are the appropriate methods for evaluating information systems?” and “How do we measure the impact of ambient information systems?...
171
click to vote
HAPTICS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we discuss the design and implementation of D’Groove, an intelligent Disc Jockey (DJ) system that features the use of haptic force feedback to expand the expressi...
171
click to vote
ISWC
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a wearable active camera with laser pointer (WACL) as a human interface device for use in telecommunications. The WACL laser pointer is attached to the active camera-he...
173
click to vote
GRAPHITE
2003
ACM
15 years 11 months ago
2003
ACM
We present a system allowing real-time image based lighting based on HDR panoramic images. The system performs time-consuming diffuse light calculations in a preprocessing step, w...