BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to c...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
Situational awareness applications used in disaster response and tactical scenarios require efficient communication without support from a fixed infrastructure. As commercial off...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
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...