1835 search results - page 224 / 367 » Classifying Description Logics |
151
click to vote
RML
2002
15 years 3 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
148
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
144
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
148
click to vote
ICDE
2008
IEEE
15 years 10 months ago
2008
IEEE
— Secure Semantic Web applications, particularly those involving access control, are typically focused at the application-domain only, rather than taking a more holistic approach...
137
click to vote
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...