Sciweavers

313 search results - page 18 / 63
» Properties of Euler Diagrams
Sort
View
UML
2005
Springer
14 years 1 months ago
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
José A. Cruz-Lemus, Marcela Genero, M. Espe...
COMPGEOM
2003
ACM
14 years 26 days ago
Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation
We introduce anisotropic Voronoi diagrams, a generalization of multiplicatively weighted Voronoi diagrams suitable for generating guaranteed-quality meshes of domains in which lon...
François Labelle, Jonathan Richard Shewchuk
ISVD
2007
IEEE
14 years 1 months ago
Voronoi Diagrams for Oriented Spheres
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
Franz Aurenhammer, Johannes Wallner, Martin Petern...
AML
2002
36views more  AML 2002»
13 years 7 months ago
Shelah's stability spectrum and homogeneity spectrum in finite diagrams
We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Fin...
Rami P. Grossberg, Olivier Lessmann
VVEIS
2007
13 years 8 months ago
Checking Properties of Business Process Models with Logic Programming
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
Volker Gruhn, Ralf Laue