26 search results - page 1 / 6 » Visualisation for Validation |
APVIS
2001
14 years 11 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...
72
Voted
CAISE
1993
Springer
15 years 1 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...
71
Voted
AFRIGRAPH
2001
ACM
15 years 1 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
15 years 4 months 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
15 years 1 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...