Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
Particle filters provide a robust framework for nonlinear and non-Gaussian estimation problems. In this paper, we present a method to incorporate dominant modulation-domain (Ampl...
This paper addresses a business scenario based on socalled tradable micro-services which is intended to explain the dynamics of a market to which actors contribute both as consume...