Sciweavers

1529 search results - page 43 / 306
» Power-aware operating systems for interactive systems
Sort
View
AFP
2004
Springer
15 years 3 months ago
A Functional Shell That Operates on Typed and Compiled Applications
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
Rinus Plasmeijer, Arjen van Weelden
HF
2002
95views more  HF 2002»
14 years 9 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
CRV
2009
IEEE
132views Robotics» more  CRV 2009»
15 years 4 months ago
A Vision-Based Control and Interaction Framework for a Legged Underwater Robot
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...
Junaed Sattar, Gregory Dudek
CHI
2006
ACM
15 years 10 months ago
The design of an interactive and dynamic representation of the firm
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
Lin Zhao, Julia Grant, Fred L. Collopy
HICSS
1998
IEEE
121views Biometrics» more  HICSS 1998»
15 years 2 months ago
A System Architecture of Intelligent-Guided Browsing on the Web
Compared with traditional business operations, wwwbased commerce has many advantages, such as timeliness, worldwide communication, hyper-links, and multimedia. However, lack of cu...
Hsiangchu Lai, Tzyy-Ching Yang