1171 search results - page 6 / 235 » A Logical Language for Expressing Authorizations |
178
click to vote
AIML
2008
15 years 7 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
143
click to vote
JSW
2008
15 years 5 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
174
click to vote
DEXAW
2009
IEEE
16 years 15 days ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
184
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
180
click to vote
ICTAI
2009
IEEE
16 years 11 days ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...