41 search results - page 3 / 9 » Ambiguity and structural properties of basic sequence diagra... |
ECBS
2009
IEEE
13 years 10 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
ROOM
2000
13 years 7 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
INFOVIS
2005
IEEE
13 years 11 months ago
2005
IEEE
We investigate the use of elastic hierarchies for representing trees, where a single graphical depiction uses a hybrid mixture, or “interleaving”, of more basic forms at diffe...
JCT
2010
13 years 4 months ago
2010
Abstract. We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2 + 2)-free posets and a certain class of involutions (or chord ...
ISVD
2007
IEEE
14 years 15 days ago
2007
IEEE
Voronoi diagram for a set of geometric objects is a partition of the plane (or space in higher dimensions) into disjoint regions each dominated by some given object under a predet...