1171 search results - page 76 / 235 » A Logical Language for Expressing Authorizations |
179
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
188
Voted
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
164
Voted
DLOG
2009
15 years 3 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
150
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
TCP-nets are an extension of CP-nets which allow the expression of conditional relative importance of pairs of variables. In this paper it is shown that a simple logic of condition...
163
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...