1050 search results - page 150 / 210 » The problem with rights expression languages |
158
click to vote
ICTAC
2007
Springer
16 years 13 days ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
166
click to vote
TLCA
2007
Springer
16 years 12 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
173
click to vote
EEE
2005
IEEE
15 years 12 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
185
click to vote
WIRI
2005
IEEE
15 years 12 months ago
2005
IEEE
The inter-operability of multiple autonomous and heterogeneous data sources is an important issue in many applications such as mediation systems, datawarehouses, or web-based syst...
172
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...