Sciweavers

112 search results - page 3 / 23
» Compact explosion diagrams
Sort
View
185
Voted
WCRE
2010
IEEE
15 years 2 months ago
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
Hassen Grati, Houari A. Sahraoui, Pierre Poulin
CCCG
2010
15 years 6 months ago
Existence of zone diagrams in compact subsets of uniformly convex spaces
A zone diagram is a relatively new concept which has emerged in computational geometry and is related to Voronoi diagrams. Formally, it is a fixed point of a certain mapping, and ...
Eva Kopecká, Daniel Reem, Simeon Reich
73
Voted
DATE
2002
IEEE
65views Hardware» more  DATE 2002»
15 years 9 months ago
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification
Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng,...
IWPSE
2005
IEEE
15 years 10 months ago
Extracting Sequence Diagram from Execution Trace of Java Program
A software system is continuously changed so many times. When we try to change a software, we must understand how the software is implemented, especially about the functions to be...
Koji Taniguchi, Takashi Ishio, Toshihiro Kamiya, S...
150
Voted
AAAI
2006
15 years 6 months ago
Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond
Two of the most efficient planners for planning in nondeterministic domains are MBP and ND-SHOP2. MBP achieves its efficiency by using Binary Decision Diagrams (BDDs) to represent...
Ugur Kuter, Dana S. Nau