112 search results - page 9 / 23 » Compact explosion diagrams |
141
Voted
IASTEDSE
2004
15 years 3 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
154
click to vote
ISMVL
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper considers representations for elementary functions such as polynomial, trigonometric, logarithmic, square root, and reciprocal functions. These real valued functions ar...
119
click to vote
UML
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
116
click to vote
ENTCS
2002
15 years 1 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
122
click to vote
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...