Sciweavers

356 search results - page 18 / 72
» Interactive Sankey Diagrams
Sort
View
CHI
2009
ACM
14 years 8 months ago
Understanding how and why open source contributors use diagrams in the development of Ubuntu
Some of the most interesting differences between Open Source Software (OSS) development and commercial colocated software development lie in the communication and collaboration pr...
Koji Yatani, Eunyoung Chung, Carlos Jensen, Khai N...
DIAGRAMS
2000
Springer
14 years 1 days ago
Positive Semantics of Projections in Venn-Euler Diagrams
Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as \disjointness" and \containment" of t...
Joseph Gil, John Howse, Elena Tulchinsky
ICTAI
2008
IEEE
14 years 2 months ago
Layer Compression in Decision Diagrams
A number of compact representation forms that are investigated in the knowledge compilation community are utilized in interactive product configuration and other forms of decisio...
Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan
GI
2001
Springer
14 years 5 days ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...
OOPSLA
2009
Springer
14 years 2 months ago
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
Marwan Abi-Antoun, Jonathan Aldrich