In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
ACT We consider a cognitive radio scenario in which two (or more) operators providing services in the same area wish to share the same licensed band of spectrum. This scenario diff...
We consider two problems related to communication between geographically distributed family members. First, we examine the problem of supporting peripheral awareness, in order to i...
Grid data management is a challenging task because of the heterogeneous, dynamic and largescale nature of Grid environments. This paper proposes an autonomic Grid data management ...
We propose a system for adaptive streaming from multiple servers to a single receiver over separate network paths. Based on incoming packets, the receiver estimates the available ...