—We consider relay-assisted communications from a source to a destination based on OFDM. The relay performs subcarrier permutation by exploiting full channel state information (C...
Abstract— We describe a novel intelligent execution monitoring approach for mobile robots acting in indoor environments such as offices and houses. Traditionally, monitoring exe...
Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saf...
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
Energy efficient transfer of data from sensors is a fundamental problem in sensor networks. In this paper, we propose a distributed beamforming approach to this problem, with a cl...
The use of mobile applications is increasing rapidly. Particularly, mobile applications for decision support systems, such as mobile datawarehouses, are very attractive. However, ...