2395 search results - page 146 / 479 » Reasoning in Semantic Wikis |
142
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
Reusing existing web resources for e-learning is a very promising and highly promoted idea in the research field of web-based education, especially for intelligent or adaptive sys...
134
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
154
click to vote
RR
2010
Springer
15 years 3 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
116
Voted
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
145
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...