2403 search results - page 408 / 481 » Using the WinWin Spiral Model: A Case Study |
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
Motion provides strong visual cues for the perception of shape and depth, as demonstrated by cognitive scientists and visual artists. This paper presents a novel visualization tec...
FM
2001
Springer
15 years 3 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
AC
1994
Springer
15 years 3 months ago
1994
Springer
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...
APGV
2007
ACM
15 years 3 months ago
2007
ACM
The display of space filling data is still a challenge for the community of visualization. Direct Volume Rendering (DVR) is one of the most important techniques developed to achie...
ICFEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...