Sciweavers

124 search results - page 11 / 25
» Evolution Storyboards: Visualization of Software Structure D...
Sort
View
CGF
2008
108views more  CGF 2008»
13 years 7 months ago
Physically-based Dye Advection for Flow Visualization
Dye advection is widely used in experimental flow analysis but has seen less use for visualization in computational fluid dynamics. One possible reason for this disconnect is the ...
Guo-Shi Li, Xavier Tricoche, Charles D. Hansen
CVPR
2009
IEEE
15 years 2 months ago
Learning Visual Flows: A Lie Algebraic Approach
We present a novel method for modeling dynamic visual phenomena, which consists of two key aspects. First, the in- tegral motion of constituent elements in a dynamic scene is ca...
Dahua Lin, W. Eric L. Grimson, John W. Fisher III
EWSA
2004
Springer
14 years 1 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
KBSE
2008
IEEE
14 years 2 months ago
Dependence Anti Patterns
A Dependence Anti Pattern is a dependence structure that may indicate potential problems for on–going software maintenance and evolution. Dependence anti patterns are not struct...
David Binkley, Nicolas Gold, Mark Harman, Zheng Li...
FSTTCS
2004
Springer
14 years 1 months ago
Who is Pointing When to Whom?
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink