1699 search results - page 101 / 340 » On the Expressive Power of QLTL |
112
Voted
ODRL
2004
15 years 2 months ago
2004
Two main Rights Expression Languages (RELs) exist to describe licenses governing the access to digital content: ODRL (Open Digital Rights Language) and MPEG-21 REL. Both RELs are ...
115
Voted
BMCBI
2004
15 years 21 days ago
2004
Background: Several aspects of microarray data analysis are dependent on identification of genes expressed at or near the limits of detection. For example, regression-based normal...
FCT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
119
Voted
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
96
Voted
TARK
2005
Springer
15 years 6 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...