Most diagram editors and graph construction tools provide some form of automatic connector routing, typically providing orthogonal or poly-line connectors. Usually the editor provi...
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Our approach views data-graphic design as two complementary processes: design as a constructive process of selecting and arranging graphical elements, and design as a process of b...
Steven F. Roth, John Kolojejchick, Joe Mattis, Mei...
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
This paper describes a technique for producing realistic animations of melting objects. The work presented here introduces a method that accurately models both thermal flow and t...