Sciweavers

351 search results - page 32 / 71
» Prototyping a Visual Formalism for System Modelling
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 3 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
INFOVIS
2002
IEEE
14 years 1 months ago
Process Visualization with Levels of Detail
In this paper we demonstrate how we applied information visualization techniques to process monitoring. Virtual instruments are enhanced using history encoding – instruments are...
Kresimir Matkovic, Helwig Hauser, Reinhard Sainitz...
VL
2005
IEEE
126views Visual Languages» more  VL 2005»
14 years 2 months ago
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
Claudia Ermel, Karsten Hölscher, Sabine Kuske...
HICSS
2007
IEEE
144views Biometrics» more  HICSS 2007»
14 years 3 months ago
The Indicator Browser: A Web-Based Interface for Visualizing UrbanSim Simulation Results
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
Yael Schwartzman, Alan Borning
HICSS
2009
IEEE
105views Biometrics» more  HICSS 2009»
14 years 3 months ago
The Visual Wiki: A New Metaphor for Knowledge Access and Management
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...
Christian Hirsch, John G. Hosking, John C. Grundy,...