With the increasing penetration of wireless communications systems, customers are expecting the same level of service, reliability and performance from the wireless communication s...
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
We analyze the effects of Doppler spread in mobile channels on Orthogonal Frequency Division Multiplex (OFDM) systems. This is important, since channel variations during one OFDM s...
In a previous work, we studied how to send a video stream over a noisy satellite channel using the scalability features of the MPEG-2 standard. The base and the enhancement flows w...
Nedo Celandroni, Erina Ferro, Francesco Potorti, A...
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...