Sciweavers

1824 search results - page 63 / 365
» interfaces 2006
Sort
View
ETFA
2006
IEEE
16 years 7 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
TABLETOP
2006
IEEE
16 years 6 days ago
Multi-User Interface and Interactions on Direct-Touch Horizontal Surfaces: Collaborative Tabletop Research at MERL
While “displays” have the connotation of affording visual output, “surfaces” invite the users to interact. What happens then when the surfaces are also displays, when a di...
Chia Shen
HRI
2006
ACM
16 years 5 days ago
A video game-based framework for analyzing human-robot interaction: characterizing interface design in real-time interactive mul
There is growing interest in mining the world of video games to find inspiration for human-robot interaction (HRI) design. This paper segments video game interaction into domain-i...
Justin Richer, Jill L. Drury
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 9 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...