378 search results - page 22 / 76 » Formalizing Spider Diagrams |
139
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
135
click to vote
ACSD
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
138
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
138
click to vote
ISVD
2007
IEEE
15 years 11 months ago
2007
IEEE
Given a set of points called sites, the Voronoi diagram is a partition of the plane into sets of points having the same closest site. Several generalizations of the Voronoi diagra...
127
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...