Sciweavers

2050 search results - page 269 / 410
» Visualization of Component-based Software
Sort
View
JOT
2006
109views more  JOT 2006»
15 years 2 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 2 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...
VL
2010
IEEE
193views Visual Languages» more  VL 2010»
15 years 19 days 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 1 days 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 2 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...