1875 search results - page 268 / 375 » A Calculus of Broadcasting Systems |
MC
2007
2007
Embodied Media and Mixed Reality for Social and Physical Interactive Communication and Entertainment
14 years 6 days ago
This talk outlines new facilities within human media spaces supporting embodied interaction between humans, animals, and computation both socially and physically, with the aim of ...
TIT
2008
13 years 10 months ago
2008
In a multiple-antenna system with two transmitters and two receivers, a scenario of data communication, known as the X channel, is studied in which each receiver receives data from...
EMSOFT
2004
Springer
14 years 4 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
POPL
2000
ACM
14 years 3 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
AIA
2006
14 years 5 days ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...