Sciweavers

4772 search results - page 260 / 955
» An approach to interface synthesis
Sort
View
ETFA
2006
IEEE
16 years 24 days ago
Towards a File System Interface for Mobile Resources in Networked Embedded Systems
— Networks for real-time embedded systems are a key emerging technology for current and future systems. Such networks need to enable reliable communication without requiring sign...
Neil C. Audsley, R. Gao, Ameet Patil
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
16 years 2 hour ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary
CHI
1999
ACM
15 years 11 months ago
Towards Usable VR: An Empirical Study of User Interfaces for Immersive Virtual Environments
This paper reports empirical results from a study into the use of 2D widgets in 3D immersive virtual environments. Several researchers have proposed the use of 2D interaction tech...
Robert W. Lindeman, John L. Sibert, James K. Hahn
CHI
1999
ACM
15 years 11 months ago
Palette: A Paper Interface for Giving Presentations
The Palette is a digital appliance designed for intuitive control of electronic slide shows. Current interfaces demand too much of our attention to permit effective computer use i...
Les Nelson, Satoshi Ichimura, Elin Rønby Pe...
HICSS
1999
IEEE
119views Biometrics» more  HICSS 1999»
15 years 11 months ago
Websites that Satisfy Users: A Theoretical Framework for Web User Interface Design and Evaluation
With the fast development and increasing use of the World Wide Web as both an information seeking and an electronic commerce tool, web usability studies grow in importance. While ...
Ping Zhang 0002, Ruth V. Small, Gisela M. von Dran...