1369 search results - page 66 / 274 » Graphical Design of Reactive Systems |
HICSS
1997
IEEE
15 years 2 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
OZCHI
2006
ACM
15 years 3 months ago
2006
ACM
This position paper outlines a current research project focusing on the challenges of interaction design for context-aware mobile computer systems. This challenge is approached fr...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper introduces a design technique for complex robotic systems called interfaces- rst design. Interfaces- rst design develops information interfaces based on the characteris...
DAC
1997
ACM
15 years 2 months ago
1997
ACM
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...