4460 search results - page 216 / 892 » Formal methods for interactive systems |
176
Voted
ANSOFT
2002
15 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
137
click to vote
ITICSE
2004
ACM
15 years 9 months ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
135
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operat...
125
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
A few 3D interactive modeling systems have been developed recently. Such systems must cope with a high flow of input measurements during the entire acquisition period. Therefore, ...
142
click to vote
APVIS
2008
15 years 5 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...