Sciweavers

3532 search results - page 87 / 707
» Visualization of SystemC Designs
Sort
View
KBSE
2006
IEEE
14 years 4 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer
AVI
2000
13 years 11 months ago
VISPS, a Visual System for Plan Specification
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
Marco Porta
WSC
1998
13 years 11 months ago
A Library of Reusable Model Components for Visual Simulation of the NCSTRL System
This paper presents a library of reusable model components for visual simulation of the Networked Computer Science Technical Report Library (NCSTRL) and illustrates how a visual s...
Osman Balci, Cengiz Ulusaraç, Poorav Shah, ...
VISUALIZATION
2005
IEEE
14 years 3 months ago
Understanding Visualization through Spatial Ability Differences
Little is known about the cognitive abilities which influence the comprehension of scientific and information visualizations and what properties of the visualization affect compre...
Maria C. Velez, Deborah Silver, Marilyn Tremaine
VISUALIZATION
1999
IEEE
14 years 2 months ago
Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting
We present a new visualization method for 2d flows which allows us to combine multiple data values in an image for simultaneous viewing. We utilize concepts from oil painting, art...
Robert M. Kirby, H. Marmanis, David H. Laidlaw