Sciweavers

2050 search results - page 269 / 410
» Visualization of Component-based Software
Sort
View
127
Voted
JOT
2006
109views more  JOT 2006»
15 years 5 months ago
UML 2.0 Notation for Modeling Real Time Task Scheduling
UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitatio...
María Cruz Valiente, Gonzalo Génova,...
CGF
2000
138views more  CGF 2000»
15 years 4 months ago
Real Time, Accurate, Multi-Featured Rendering of Bump Mapped Surfaces
We present a new technique to render in real time objects which have part of their high frequency geometric detail encoded in bump maps. It is based on the quantization of normal-...
Marco Tarini, Paolo Cignoni, Claudio Rocchini, Rob...
211
Voted
VL
2010
IEEE
193views Visual Languages» more  VL 2010»
15 years 3 months ago
Understanding Expressions of Unwanted Behaviors in Open Bug Reporting
Open bug reporting allows end-users to express a vast array of unwanted software behaviors. However, users’ expectations often clash with developers’ implementation intents. W...
Parmit K. Chilana, Andrew J. Ko, Jacob O. Wobbrock
GRAPHICSINTERFACE
2009
15 years 2 months ago
Structural differences between two graphs through hierarchies
This paper presents a technique for visualizing the differences between two graphs. The technique assumes that a unique labeling of the nodes for each graph is available, where if...
Daniel Archambault
EMSOFT
2011
Springer
14 years 4 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...