Agent description and discovery (ADD) is a critical infrastructure for open multi-agent services. As multi-agent systems grow larger and more diverse, it becomes harder to locate ...
We describe algorithms for drawing media, systems of states, tokens and actions that have state transition graphs in the form of partial cubes. Our algorithms are based on two prin...
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
Abstract. For organizations to flourish in a changing environment, their business processes need to be flexible. Designing flexible business processes is a challenge. We use Weick&...
It is demonstrated that the filter-bank structure of [1] can be designed to significantly reduce the effect of intermodulation distortion. This gives it an important advantage o...