63
Voted
BIRTHDAY
2015
Springer
9 years 11 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...
68
Voted
BIRTHDAY
2015
Springer
9 years 11 months ago
2015
Springer
69
Voted
BIRTHDAY
2015
Springer
9 years 11 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...
64
Voted
BIRTHDAY
2015
Springer
9 years 11 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...
63
Voted
BIRTHDAY
2015
Springer
9 years 11 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...