3028 search results - page 158 / 606 » Integrating Temporal Logics |
139
click to vote
GLVLSI
2003
IEEE
15 years 10 months ago
2003
IEEE
Clock-delayed (CD) domino is a dynamic logic family developed to provide both inverting and non-inverting logic on single-rail gates. It is self-timed and can be easily pipelined ...
127
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
120
click to vote
ITC
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...
134
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
145
click to vote
INTEROP
1999
Springer
15 years 9 months ago
1999
Springer
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...