3244 search results - page 311 / 649 » Extensions to Description Logics |
168
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from an infinite domain. Over data words we consider the logic LTL↓ 1(F), th...
190
click to vote
ISCC
2006
IEEE
16 years 19 days ago
2006
IEEE
Network resource management and control is a complex problem that requires robust, possibly intelligent, control methodologies to obtain satisfactory performance. While many Activ...
183
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
196
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
161
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...