2181 search results - page 300 / 437 » Ontologies and Description Logics |
177
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
156
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
171
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...
185
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
158
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...