Exploring UAV Networking From the Terrain Information Completeness Perspective: A Tutorial by Zhengying Lou, Ruibo Wang, Baha Eddine Youcef Belmekki, Mustafa A. Kishk, Mohamed-Slim Alouini

Subjects: Get full text

Data integrity verification based on model cloud federation of TPA by Junfeng TIAN, Tianle LI

Subjects: “…data integrity verification…”
Get full text

Verifiable outsourced attribute-based encryption with access update by Suqing LIN

Subjects: Get full text

Speaker verification method based on deep information divergence maximization by Chen CHEN, Yafeng RONG, Chaoqun JI, Deyun CHEN, Yongjun HE

Subjects: “…speaker verification…”
Get full text

Simulation Analysis of Meshing Gear Churning Power Loss based on CFD Method by Shen Lin, Ruan Dengfang, Tu Pan

Subjects: Get full text

Approach on runtime monitoring based on the embedded trusted platforms by Zhao-chang SUN, Jian-feng MA, Cong SUN, Di LU

Subjects: Get full text

On a method of legal knowledge base situational analysis by Laima Paliulionienė

Subjects: Get full text

Method of designing security protocol for remote attestation by YU Rong-wei1, WANG Li-na1, KUANG Bo1

Subjects: Get full text

Design and construction of hierarchical and cross-regional SDN verification and demonstration system by Zhifeng LIU, Xia YIN, Zhiliang WANG, Xingang SHI, Yiqiang HUA, Xiaohong HUANG, Liang WEI, Jiangyuan YAO, Han ZHANG, Man ZENG, Zijun SU, Shuai LIU

Subjects: Get full text

Parameter estimation of frequency hopping signal based on time-frequency matrix LCM by Jiamin LIU, Zhijin ZHAO, Junna SHANG, Xueyi YE

Subjects: Get full text

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems by Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Subjects: Get full text

Synthetic speech detection method using texture feature based on circumferential local ternary pattern by Honghui JIN, Zhihua JIAN, Man YANG, Chao WU

Subjects: “…speaker verification…”
Get full text

Microbiological hazards associated with the use of water in the post‐harvest handling and processing operations of fresh and frozen fruits, vegetables and herbs (ffFVH). Part 5 (Fr... by EFSA Panel on Biological Hazards (BIOHAZ), Ana Allende, Avelino Alvarez‐Ordóñez, Valeria Bortolaia, Sara Bover‐Cid, Alessandra De Cesare, Wietske Dohmen, Laurent Guillier, Lieve Herman, Liesbeth Jacxsens, Lapo Mughini‐Gras, Maarten Nauta, Jakob Ottoson, Luisa Peixe, Fernando Perez‐Rodriguez, Panagiotis Skandamis, Elisabetta Suffredini, Jen Banach, Bin Zhou, Maria Teresa daSilva Felício, Laura Martino, Winy Messens, Angela Botteon

Subjects: Get full text

A Verifiable Discrete Trust Model (VDTM) Using Congruent Federated Learning (CFL) for Social Internet of Vehicles by Mohammed Mujib Alshahrani

Subjects: Get full text

Verification and Validation of CFD analysis for 1/7th scale model of APR1400 for CVAP by Giwon La, Kunwoo Yi, Doyoung Ko, Kyuhyung Kim

Subjects: Get full text

Orthogonal Latin square theory based group and batch verification for digital signatures by Hong WANG, Chengzhe LAI, Xiangyang LIU, Han ZENG

Subjects: Get full text

Electronic invoice public verification scheme based on SM2 coalition signature algorithm by Yurong LUO, Jin CAO, Hui LI, Xingwen ZHAO, Chao SHANG

Subjects: Get full text

A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques by Oumaima Barhoumi, Mohamed H. Zaki, Sofiene Tahar

Subjects: Get full text

Alloy-based verification of Web service composition by Jiu-xin CAO, Jiang-lin WU, Guo-jin WANG, Bo LIU, Peng-wei YANG, Dan DONG

Subjects: Get full text

Microbiological hazards associated with the use of water in the post‐harvest handling and processing operations of fresh and frozen fruits, vegetables and herbs (ffFVH). Part 4 (fr... by EFSA Panel on Biological Hazards (BIOHAZ), Ana Allende, Avelino Alvarez‐Ordóñez, Valeria Bortolaia, Sara Bover‐Cid, Alessandra De Cesare, Wietske Dohmen, Laurent Guillier, Lieve Herman, Liesbeth Jacxsens, Lapo Mughini‐Gras, Maarten Nauta, Jakob Ottoson, Luisa Peixe, Fernando Perez‐Rodriguez, Panagiotis Skandamis, Elisabetta Suffredini, Jen Banach, Bin Zhou, Maria Teresa daSilva Felício, Laura Martino, Winy Messens, Angela Botteon

Subjects: Get full text