26 search results - page 1 / 6 » Visualisation for Validation |
APVIS
2001
13 years 7 months ago
2001
Information visualisation exploits the natural perceptual capabilities of the decisionfacilitate the rapid assimilation and analysis of abstract, complex and often voluminous info...
CAISE
1993
Springer
13 years 9 months ago
1993
Springer
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
AFRIGRAPH
2001
ACM
13 years 9 months ago
2001
ACM
Three dimensional computer reconstruction provides us with a means of visualising past environments, allowing us a glimpse of the past that might otherwise be difficult to appreci...
ERCIMDL
2009
Springer
14 years 5 days ago
2009
Springer
Indexes are a well established method of locating information in printed literature just as find is a popular technique when searching in digital documents. However, document reade...
HASE
2007
IEEE
13 years 9 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...