501 search results - page 26 / 101 » Diagram Techniques for Confluence |
118
click to vote
GLVLSI
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
100
Voted
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
101
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract: An original technique to transform functional representation of the design into a structural representation in form of a data flow graph (DFG) is described. A canonical,...
101
Voted
GD
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...
111
click to vote
DEXA
2004
Springer
15 years 5 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...