This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
Abstract--When 60 years ago Shannon established "A Mathematical Theory of Communication" nobody could know the consequences for science and technology in the second half ...
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
As on-chip integration matures, single-chip system designers must not only be concerned with component-level issues such as performance and power, but also with onchip system-leve...
Abstract— An analytical model is developed for cellular networks with a combined adaptive bandwidth allocation and trafficrestriction mechanism. Instead of focusing only on the ...