3082 search results - page 408 / 617 » its 2004 |
173
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
that graph transformations provide the right level of abstraction, and useful technical tools for studying gene assembly. On the other hand, the gene assembly process inspires a ne...
211
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labe...
169
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
176
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
210
click to vote
GIAE
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we propose the wireframe representation of nD object, which is a single 2D line drawing. A wireframe model of an nD object is composed of a set of edges connecting a...