BIRTHDAY
2015
Springer
8 years 9 days ago
2015
Springer
We develop a general, non-probabilistic model of prediction which is suitable for assessing the (un)predictability of individual physical events. We use this model to provide, for...
BIRTHDAY
2015
Springer
8 years 9 days ago
2015
Springer
Abstract. Mobile devices are in roles where the integrity and confidentiality of their apps and data are of paramount importance. They usually contain a System-on-Chip (SoC), whic...
BIRTHDAY
2015
Springer
8 years 9 days ago
2015
Springer
Abstract. Answer Set Programming is a widely known knowledge representation framework based on the logic programming paradigm that has been extensively studied in the past decades....
BIRTHDAY
2015
Springer
8 years 9 days ago
2015
Springer
ting Dreams of Abstract Machines Bernard Sufrin, University of Oxford December 2015 [Dreams]
BIRTHDAY
2015
Springer
8 years 9 days 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...
BIRTHDAY
2015
Springer
8 years 9 days 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...
BIRTHDAY
2015
Springer
8 years 9 days 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...
BIRTHDAY
2015
Springer
8 years 9 days 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...
BIRTHDAY
2015
Springer
8 years 9 days ago
2015
Springer
Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satis...
BIRTHDAY
2015
Springer
8 years 9 days ago
2015
Springer
Abstract. We consider the problem of verifying whether one action theory can simulate a second one. Action theories provide modular descriptions of state machines, and simulation m...