4212 search results - page 462 / 843 » Rights Expression Languages |
202
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
249
click to vote
DLOG
2011
14 years 10 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
233
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
192
click to vote
PAM
2012
Springer
14 years 2 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
162
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...