The advent and growing sophistication of modern cloud-native architectures has brought into question the way we design IT infrastructures. As become more complex, modeling helps employees to better understand their environment decision makers grasp “big picture”. levels abstraction multiply, these infrastructures is becoming difficult. This leads incomplete, heterogeneous views difficult reconc...

This paper discusses the background and results of a research project which was conducted by ENISA (European Network and Information Security Agency) in cooperation with the BOC Information Technologies Consulting GmbH. The project was initiated with respect to the main task of ENISA: ensuring a high and effective level of network and information security within organisations in the European Un...

We often describe lives (or parts of lives) as meaningful or as not meaningful. It is also common to characterize them as more or less meaningful. Some lives, we tend to think, are more meaningful than others. But how then can one compare lives with respect to how much meaning they contain? Can one? This paper argues that (i) only a notion of rough equality can be used when comparing different ...

Information, Uncertainty, and Subjective Entitlements in Bargaining More often than not production processes are the joint endeavor of people having different abilities and productivities. Such production processes and the associated surplus production are often not fully transparent in the sense that the relative contributions of involved agents are blurred; either by lack of information about...

In this short technical note we show how PADL – the process algebraic architectural description language of Bernardo, Ciancarini and Donatiello – can be used to specify AFrames. AFrames exist to structure the machine in a Problem Frames development, and are important in that framework as they allow architectural expertise to be captured and reused therein. Because of the close proximity of PADL...

The dynamic window approach is a well known navigation scheme developed in Fox et al. (1997) and extended in Brock and Khatib (1999). It is safe by construction and has been shown to perform very efficiently in experimental setups. However, one can construct examples where the proposed scheme fails to attain the goal configuration. What has been lacking is a theoretical treatment of the algorit...