Radial, space-filling visualizations can be useful for depicting information hierarchies, but they suffer from one major problem. As the hierarchy grows in size, many items becom...
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
Axel Siebenborn, Oliver Bringmann, Wolfgang Rosens...
Recently we have proposed a novel approach to utilizing agent teams as resource brokers and managers in the Grid. Thus far we have presented an overview of the proposed approach d...
Abstract—In this letter, we consider the problem of resource allocation between two competing users sharing a binary symmetric broadcast channel. We model the interaction between...