Sciweavers

853 search results - page 54 / 171
» On Integrating Visualization Techniques for Effective Softwa...
Sort
View
ICCSA
2003
Springer
15 years 11 months ago
Interactive Stereoscopic Visualization of Very Large Visible Men on CAVE
Abstract. We have developed an interactive visualization software for an immersive 3D virtual environment system, which generates stereoscopic images from huge human volume dataset...
Insung Ihm, Bumdae Lee, Joong-Youn Lee, Minsu Joh,...
SIGSOFT
2010
ACM
15 years 4 months ago
An effective dynamic analysis for detecting generalized deadlocks
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
JMLR
2010
102views more  JMLR 2010»
15 years 29 days ago
Visualization of Online Discussion Forums
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...
Mitja Trampus, Marko Grobelnik
SIGSOFT
2007
ACM
16 years 6 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
RE
2005
Springer
15 years 11 months ago
Model-Driven Visual Requirements Engineering
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
Helge Grenager Solheim, Frank M. Lillehagen, Sobah...