2612 search results - page 227 / 523 » Assemblies as Graph Processes |
172
click to vote
CIMCA
2005
IEEE
16 years 6 days ago
2005
IEEE
The aim of the research presented in this paper is to contribute to reduction of development time for ontologies by discovering reusable parts and patterns. The approach is to use...
166
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ā...
196
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the speciļ¬cation of model transformations. Their main advantage is an automatic derivation of operational rule...
140
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
195
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...