Sciweavers

1789 search results - page 130 / 358
» Glyphs for Software Visualization
Sort
View
ICSE
2009
IEEE-ACM
15 years 1 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
INFOVIS
1995
IEEE
15 years 7 months ago
The information mural: a technique for displaying and navigating large information spaces
Visualizations which depict entire information spaces provide context for navigation and browsing tasks; however, the limited size of the display screen makes creating effective g...
Dean F. Jerding, John T. Stasko
ICDE
2005
IEEE
165views Database» more  ICDE 2005»
16 years 5 months ago
Querying and Visualizing Gridded Datasets for e-Science
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
Bill Howe, David Maier
ICCS
2009
Springer
15 years 10 months ago
Querying for Feature Extraction and Visualization in Climate Modeling
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...
C. Ryan Johnson, Markus Glatter, Wesley Kendall, J...
CSCWD
2007
Springer
15 years 10 months ago
An interactive graph visualization for handling cooperative design activity context
The context of a collective activity is characterized by all information produced during the activity. The comprehension of this context by each actor is essential for the success...
Gilles Halin