9145 search results - page 388 / 1829 » Description Logic Systems |
220
Voted
DLOG
2011
14 years 10 months ago
2011
We prove co-N2ExpTime-hardness for conjunctive query entailment in the description logic ALCOIF , thus improving the previously known 2ExpTime lower bound. The result transfers to ...
169
click to vote
CLIMA
2004
15 years 8 months ago
2004
We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic int...
197
click to vote
WSC
1997
15 years 8 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
148
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
157
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...