BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
Developing autonomic systems is a major challenge due to their distributed nature, large dimension, high dynamism, openendedness, and need of adaptation. In this paper, we tackle t...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
We present a framework for formal software development with UML. In contrast to previous approaches to equipping UML with a formal semantics, we propose an institution-based hetero...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
In the seminal paper [6], Gerd Brewka argued that ranking a set of default rules without prerequisites, and selecting extensions according to a lexicographic refinement of the inc...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
ompact abstractions for processor pipelines∗ Sebastian Hahn, Jan Reineke Informatik, Saarland University Saarbr¨ucken Reinhard Wilhelm Informatik, Saarland University and AbsInt...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean formulas he wants to get satisfied. The boolean formulas...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
This paper defines the “ultimate” formal semantics for Alice and Bob notation, i.e., what actions the honest agents have to perform, in the presence of an arbitrary set of cry...
BIRTHDAY
2015
Springer
8 years 8 months 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 8 months 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 8 months 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 8 months 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...