8228 search results - page 414 / 1646 » Structural Logical Relations |
273
click to vote
GG
2010
Springer
15 years 8 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
222
click to vote
CONCUR
2001
Springer
16 years 4 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
154
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Quadrature Σ∆ ADCs require a feedback path for both the I and the Q part of the complex feedback signal. If two separated multibit feedback DACs are used, mismatch among the...
216
click to vote
TYPES
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
233
click to vote
AVI
2008
15 years 10 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...