Sensor networks, with their ad hoc deployments, node mobility, and wireless communication, pose serious challenges for developing provably correct and efficient applications. A po...
Bernadette Charron-Bost, Jennifer L. Welch, Josef ...
—In this paper, we study the impact of antenna correlation at mobile units (MUs) on the capacity of multi-user multiple-input multiple-output (MIMO) systems with rate constraints...
Standardisation of learning technologies as a coordinated design activity needs legitimacy to attract the necessary support from its stakeholders. This paper identifies the need f...
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
In this paper, we analyze the stability of large scale superpeer networks against attacks. Two different kinds of attacks namely deterministic and degree dependent attack have bee...