417 search results - page 67 / 84 » Orderings for Innermost Termination |
MODELS
2009
Springer
14 years 3 days ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
ITC
2000
IEEE
13 years 12 months ago
2000
IEEE
A wrapper is a thin shell around the core, that provides the switching between functional, and core-internal and core-external test modes. Together with a test access mechanism (T...
ASYNC
1998
IEEE
13 years 11 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
ICCCN
1998
IEEE
13 years 11 months ago
1998
IEEE
Data protection and data security become more significant since telecommunication services and innovative applications based on these services handle an increasing amount of sensi...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
Measured Equation of Invariance(MEI) is a new concept in computational electromagnetics. It has been demonstrated that the MEI technique can be used to terminate the meshes very c...