Sciweavers

218 search results - page 35 / 44
» Interactive Sketching for the Early Stages of User Interface...
Sort
View
DOCENG
2005
ACM
13 years 9 months ago
Towards active web clients
Recent developments of document technologies have strongly impacted the evolution of Web clients over the last fifteen years, but all Web clients have not taken the same advantag...
Vincent Quint, Irène Vatton
MHCI
2005
Springer
14 years 1 months ago
A support system for finding lost objects using spotlight
We propose a support system for finding lost objects indoors. The system employs active RFID and ultrasonic position detection to detect the position of a lost object. The system...
Toyohisa Nakada, Hideaki Kanai, Susumu Kunifuji
BCSHCI
2007
13 years 9 months ago
Voice art: investigating paralinguistic voice as a mode of interaction to create visual art
In this paper, we report on our investigation into people’s ability to use the volume of their voice to control cursor movement to create drawings. Early analysis of the results...
Dharani Priyahansika Perera, R. T. Jim Eales, Kath...
CCS
2004
ACM
14 years 1 months ago
MAC and UML for secure software design
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
Thuong Doan, Steven A. Demurjian, T. C. Ting, Andr...
BELL
2000
107views more  BELL 2000»
13 years 7 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith