4460 search results - page 124 / 892 » Formal methods for interactive systems |
121
click to vote
ACHI
2009
IEEE
15 years 7 months ago
2009
IEEE
We explore some of the characteristics of multimodal input interaction spaces for notification systems within a multi-tasking environment like a command and control center using t...
135
Voted
TSMC
2010
14 years 10 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
144
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
124
Voted
ENTCS
2010
15 years 3 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
122
Voted
INFOVIS
1998
IEEE
15 years 8 months ago
1998
IEEE
Information visualization encounters a wide variety of different data domains. The visualization community has developed representation methods and interactive techniques. As a co...