1875 search results - page 6 / 375 » A Calculus of Broadcasting Systems |
ISTA
2004
13 years 8 months ago
2004
: Recent advances in mobile computing have enabled the deployment of broadcast based information systems such as, wireless internet, traffic information systems, etc. These systems...
ICDE
1997
IEEE
14 years 8 months ago
1997
IEEE
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
PCM
2005
Springer
14 years 29 days ago
2005
Springer
Realistic broadcasting is considered as a next generation broadcasting system supporting user-friendly interactions. In this paper, we define multi-modal immersive media and introd...
ASIACRYPT
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We provide a general framework for constructing identitybased and broadcast encryption systems. In particular, we construct a general encryption system called spatial enc...
ICTAC
2004
Springer
14 years 25 days ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...