501 search results - page 64 / 101 » Diagram Techniques for Confluence |
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
120
click to vote
APN
2004
Springer
15 years 7 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
112
click to vote
JIT
2004
Springer
15 years 7 months ago
2004
Springer
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...
126
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
121
click to vote
PG
2002
IEEE
15 years 6 months ago
2002
IEEE
We present an interactive method of visualizing both manifold and non-manifold implicit surfaces. The implicit surfaces are directly visualized at interactive frame rates independ...