Finite-state properties account for an important class of program properties, typically related to the order of operations invoked on objects. Many l...

This article relates two different paradigms of descriptions of communication behavior, one focusing on global message flows and another on end-point...

The trend of inter-connection among a multitude of different wireless access networks presents the great and bright potential business opportunities f...

In this paper we consider the use of hierarchical Quadrature Amplitude Modulation (QAM) constellations for Multimedia Broadcast/Multicast Service (MBM...

Wireless sensor networks can be used to monitor the interested region by multi-hop communication. Since sensor nodes are equipped with energy-limited...