|
|
|
Mohd Anuaruddin Bin Ahmadon and Shingo Yamaguchi
In this paper, we proposed a verification method for the message passing behavior of IoT systems by checking the accumulative event relation of process models. In an IoT system, it is hard to verify the behavior of message passing by only looking at the ...
ver más
|
|
|
|
|
|
|
Yunfeng Hu, Bin Tang, Chaoyi Chen, Lexing Hu, Qingming Huang, Jiaqi Cai, Jinbo Xie, Bin Li and Zhaohui Wu
In recent years, due to the rise of the Internet of Things (IoT), various sensors have come to be in great demand for IoT devices. Analog-to-digital converters (ADCs) act as an important part of receivers in sensors. To improve the uptime of IoT devices,...
ver más
|
|
|
|
|
|
|
Adam Knapp,Laszlo Pap
Pág. 228 - 238
The paper presents a new mobile communication system based on Chirp Spread Spectrum (CSS) transmission. The downlink modulation scheme is extended with Pulse Position Modulation (PPM) to carry data for multiple mobile terminals simultaneously. The descri...
ver más
|
|
|
|