Sciweavers

41 search results - page 2 / 9
» Seamless Integration of Control Flow and Data Flow in a Visu...
Sort
View
DATE
2000
IEEE
113views Hardware» more  DATE 2000»
13 years 9 months ago
MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
Per Bjuréus, Axel Jantsch
VMV
2003
145views Visualization» more  VMV 2003»
13 years 6 months ago
Interactive Volume Visualization of Complex Flow Semantics
Comprehending results from 3D CFD simulation is a difficult task. In this paper, we present a semantics-based approach to featurebased volume rendering of 3D flow data. We make ...
Helwig Hauser, Matej Mlejnek
CC
1998
Springer
134views System Software» more  CC 1998»
13 years 9 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
VL
1998
IEEE
116views Visual Languages» more  VL 1998»
13 years 9 months ago
Programming Web-Based Applications within a Data-Flow VL
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
Roberto Idini, Mauro Mosconi, Marco Porta
CORR
2008
Springer
143views Education» more  CORR 2008»
13 years 5 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani