3244 search results - page 209 / 649 » Extensions to Description Logics |
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
162
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
150
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
A dialogue game based approach to the problem of providing a deeper semantic foundation for t-norm based fuzzy logics is explored. In particular, various versions, extensions and ...
163
click to vote
DFT
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe a method for designing fault tolerant circuits based on an extension of a Concurrent Error Detection (CED) technique. The proposed extension combines parity check code...
192
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...