E-LIB Suche - Ergebnisse für: Qian, Zhenjiang

1

Refinement modeling and verification of secure operating sy..:

Qian, Zhenjiang ; Sun, Gaofei ; Xing, Xiaoshuang.
Digital Communications and Networks. 10 (2024) 2 - p. 304-314 , 2024

Link: https://doi.org/10.1016/..

2

AFSTGCN: Prediction for multivariate time series using an a..:

Xiao, Yuteng ; Xia, Kaijian ; Yin, Hongsheng...
Digital Communications and Networks. 10 (2024) 2 - p. 292-303 , 2024

Link: https://doi.org/10.1016/..

3

A measurable refinement method of design and verification f..:

Qian, Zhenjiang ; Xia, Rui ; Sun, Gaofei..
Digital Communications and Networks. 9 (2023) 5 - p. 1070-1079 , 2023

Link: https://doi.org/10.1016/..

4

A Formal Approach to Design and Security Verification of Op..:

Qian, Zhenjiang ; Zhong, Shan ; Sun, Gaofei..
IEEE Transactions on Intelligent Transportation Systems. 24 (2023) 12 - p. 15459-15467 , 2023

Link: https://doi.org/10.1109/..

5

A Fast Region Segmentation Algorithm for Water Meter Image ..:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Intelligent Technologies for Interactive Entertainment,

Zhou, Hongchao ; Liu, Yongjun ; Qian, Zhenjiang - p. 23-35 , 2022

Link: https://doi.org/10.1007/..

6

Light Intensity Based IoT Device Positioning for Indoor Mon..:

, In: Security, Privacy, and Anonymity in Computation, Communication, and Storage; Lecture Notes in Computer Science,

Sun, Gaofei ; Xing, Xiaoshuang ; Qian, Zhenjiang.. - p. 290-300 , 2021

Link: https://doi.org/10.1007/..

7

Formal design and verification of system task in intelligen..:

Qian, Zhenjiang ; Jin, Yong ; Sun, Gaofei..
Journal of Ambient Intelligence and Humanized Computing. , 2021

Link: https://doi.org/10.1007/..

8

Edge computing assisted privacy-preserving data computation..:

sun, Gaofei ; Xing, Xiaoshuang ; Qian, Zhenjiang.
Computer Communications. 166 (2021) - p. 208-215 , 2021

Link: https://doi.org/10.1016/..

9

Verification of Operating Systems for Internet of Things in..:

Qian, Zhenjiang ; Liu, Wei ; Yao, Yiyang
IEEE Access. 9 (2021) - p. 2854-2863 , 2021

Link: https://doi.org/10.1109/..

10

Person re-identification in the real scene based on the dee..:

Zhu, Miaomiao ; Gong, Shengrong ; Qian, Zhenjiang..
Artificial Life and Robotics. 26 (2021) 4 - p. 396-403 , 2021

Link: https://doi.org/10.1007/..

11

Virtual Location Generation for Location Privacy Protection..:

, In: Wireless Algorithms, Systems, and Applications; Lecture Notes in Computer Science,

Li, Zhihong ; Xing, Xiaoshuang ; Sun, Gaofei.. - p. 49-58 , 2020

Link: https://doi.org/10.1007/..

12

Modeling-Learning-Based Actor-Critic Algorithm with Gaussia..:

Zhong, Shan ; Tan, Jack ; Dong, Husheng...
Journal of Grid Computing. 18 (2020) 2 - p. 181-195 , 2020

Link: https://doi.org/10.1007/..

13

UAV Cluster-Based Video Surveillance System Optimization in..:

Jin, Yong ; Qian, Zhenjiang ; Yang, Weiyong
IEEE Access. 8 (2020) - p. 55654-55664 , 2020

Link: https://doi.org/10.1109/..

14

Learning Transferable Driven and Drone Assisted Sustainable..:

Jin, Yong ; Qian, Zhenjiang ; Gong, Shengrong.
IEEE/ACM Transactions on Computational Biology and Bioinformatics. , 2020

Link: https://doi.org/10.1109/..

15

Data collection scheme with minimum cost and location of em..:

Jin, Yong ; Qian, Zhenjiang ; Chen, Shunjiang
Personal and Ubiquitous Computing. 23 (2019) 3-4 - p. 595-606 , 2019

Link: https://doi.org/10.1007/..