Sciweavers

112 search results - page 3 / 23
» Compact explosion diagrams
Sort
View
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 5 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
70
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 9 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...
144
Voted
AAAI
2006
15 years 5 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