433 search results - page 18 / 87 » Using Description Logics in Relation Based Access Control |
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
ESORICS
2009
Springer
14 years 2 months ago
2009
Springer
Recent enhancements in location technologies reliability and precision are fostering the development of a new wave of applications that make use of the location information of user...
ENC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
CADE
1997
Springer
14 years 1 days ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
LPAR
1999
Springer
14 years 4 days ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...