4074 search results - page 122 / 815 » Abstract Graph Transformation |
ER
2006
Springer
15 years 5 months ago
2006
Springer
regated Graphs for Modeling Spatio-Temporal Networks - An Extended Abstract Technical Report Department of Computer Science and Engineering University of Minnesota 4-192 EECS Build...
107
click to vote
ERCIMDL
2006
Springer
15 years 5 months ago
2006
Springer
ined abstract Access Points combined with specific attributes (Attribute Sets)
ICCD
2000
IEEE
15 years 10 months ago
2000
IEEE
el of abstraction by integrating a high-level estimation step. This results in a design loop which is tight led on high level of abstraction (called estimation loop in figure 1). ...
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
100
Voted
SCAM
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...