File transfer acts an increasing role in digital TV studios and especially for their interconnections. Using adequate file formats to exchange data presents several advantages: lo...
Inter-company data interchange within a specific industrial sector is necessarily based on standard document formats, structures, and transmission protocols. In this perspective, t...
Nicola Gessa, Piero De Sabbata, Massimo Marzocchi,...
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
This paper investigates a distributed and adaptive approach to manage spectrum usage in dynamic spectrum access networks. While previous works focus on centralized provisioning, w...
We propose a new replication control scheme for multiple-copy consistency in mobile distributed database systems. Replicating data at multiple sites could contribute to enhance th...