62
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
ting Dreams of Abstract Machines Bernard Sufrin, University of Oxford December 2015 [Dreams]
68
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Specific preference statements may reverse general preference statements, thus constituting a change of attitude in particular situations. We define a semantics of preference re...
60
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. In 1987 Ernst-R¨udiger Olderog provided an operational Petri net semantics for a subset of CCSP, the union of Milner’s CCS and Hoare’s CSP. It assigns to each proces...
72
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. We revisit non-monotonic description logics based on circumscription (with preferences) and prove several decidability results for their satisfiability problem. In parti...
69
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. While groups are generally helpful for the definition of authorization policies, their use in distributed systems is not straightforward. This paper describes a design f...