BIRTHDAY
2015
Springer
8 years 25 days ago
2015
Springer
Abstract. The Helena approach allows to specify dynamically evolving ensembles of collaborating components. It is centered around the notion of roles which components can adopt in ...
BIRTHDAY
2015
Springer
8 years 25 days ago
2015
Springer
This work studies the relationship between veri able and computable answers for reachability problems in rewrite theories with an underlying membership equational logic. These prob...
BIRTHDAY
2015
Springer
8 years 25 days ago
2015
Springer
Abstract. This essay addresses the concerns of the foundations of mathematics of the early 20th century which led to the creation of formally axiomatized universes. These are confr...
BIRTHDAY
2015
Springer
8 years 25 days ago
2015
Springer
A Structured Document Algebra (SDA) defines modules with variation points and how such modules compose. The basic operations are module addition and replacement. Repeated addition...
BIRTHDAY
2015
Springer
8 years 25 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 25 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 25 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 25 days ago
2015
Springer
ting Dreams of Abstract Machines Bernard Sufrin, University of Oxford December 2015 [Dreams]
BIRTHDAY
2015
Springer
8 years 25 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 25 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...