3244 search results - page 350 / 649 » Extensions to Description Logics |
189
click to vote
CADE
2005
Springer
16 years 7 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...
200
click to vote
ICDE
2008
IEEE
16 years 1 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...
149
click to vote
ISVC
2007
Springer
16 years 26 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
187
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
183
click to vote
SFM
2007
Springer
16 years 25 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...