8228 search results - page 334 / 1646 » Structural Logical Relations |
190
click to vote
ECIS
2003
15 years 8 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
239
click to vote
TPCD
1994
15 years 8 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
221
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
175
click to vote
ASE
2008
15 years 6 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
206
click to vote
CN
1999
15 years 6 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...