365 search results - page 24 / 73 » Liveness in Timed and Untimed Systems |
VISUALIZATION
2000
IEEE
14 years 2 months ago
2000
IEEE
The microscopic analysis of time dependent 3D live cells provides considerable challenges to visualization. Effective visualization can provide insight into the structure and func...
CA
1998
IEEE
14 years 2 months ago
1998
IEEE
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...
AMAST
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
MASCOTS
2007
13 years 11 months ago
2007
—Intuitively, it seems that understanding how the performance of a system affects its users requires research in psychology and the conducting of live experiments. We demonstrate...
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...