1317 search results - page 116 / 264 » Fusions of Description Logics and Abstract Description Syste... |
176
click to vote
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
167
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
147
click to vote
EFDBS
2001
15 years 7 months ago
2001
Abstract. This paper focuses on the interoperability of autonomous legacy databases with the idea of meeting the future requirements of an organization. It describes a general arch...
172
click to vote
ICECCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
197
click to vote
ZUM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...