A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
Abstract. Wireless sensor networks have several useful applications in commercial and defense settings, as well as user-centric personal area networks. To establish secure (point-t...
— According to employing Power Saving Mode (PSM) scheme or not, stations (STAs) in Wireless Local Area Networks can be classified into two categories: STAs using PSM (PSSTAs) an...
— Next generation mobile comunications systems will most likely employ multi-cell cooperative signal processing schemes, often referred to as network MIMO, as these are known to ...
Abstract— Communications over multiple-input multipleoutput (MIMO) channels with carrier offsets is an important practical and theoretical problem. Double-differential coding is ...