Sciweavers

14720 search results - page 230 / 2944
» Interface
Sort
View
EMSOFT
2006
Springer
15 years 10 months ago
Real-time interfaces for composing real-time systems
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 10 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
HHCI
2000
15 years 10 months ago
Hand-Shaped Force Interface for Human-Cooperative Mobile Robot
Aiming at realization of direct and intuitive cooperation between human and robot, we propose an interface system for a two-wheeled, autonomous mobile robot that can take physical...
Riku Hikiji, Shuji Hashimoto
KES
2000
Springer
15 years 10 months ago
ActiveCube: a bi-directional user interface using cubes
: ActiveCube is a bi-directional user interface that supports a person's creative work through constructing and interacting with 3-D virtual objects by using actual physical c...
Yoshifumi Kitamura, Yuichi Itoh, Toshihiro Masaki,...
CHI
1995
ACM
15 years 10 months ago
Bricks: Laying the Foundations for Graspable User Interfaces
We introduce the concept of Graspable User Interfaces that allow direct control of electronic or virtual objects through physical handles for control. These physical artifacts, wh...
George W. Fitzmaurice, Hiroshi Ishii, William Buxt...