4460 search results - page 213 / 892 » Formal methods for interactive systems |
126
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
123
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes “intuitive cinema” – a new form of interactive storytelling, which emphasizes user motive and viewpoints, and implements its cinematic expressions based ...
151
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
129
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
170
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...