Behavior Compatibility Analysis for Service Mashup with Model Checking

Behavior Compatibility Analysis for Service Mashup with Model Checking

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICAIS (6. : 2020 : Hohhot; Online) Artificial intelligence and security ; Part 2
1. Verfasser: Zhai, Zhongyi (VerfasserIn)
Weitere Verfasser: Lai, Guibing (VerfasserIn), Zhao, Lingzhong (VerfasserIn), Qian, Junyan (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Design of Intelligent Mobile Robot Control System Based on Gesture Recognition 2020 Dai, Dong
A Free-Space Quantum Secure Direct Communication Scheme Based on Prefixed-Threshold Real-Time Selection Method 2020 Yu, Hao
Multiple Graph Regularized Non-negative Matrix Factorization Based on L2,1 Norm for Face Recognition 2020 Yao, Minghai
Facial Expression Recognition Method Based on Convolution Neural Network Combining Attention Mechanism 2020 Wen, Peizhi
Study on Practical IoT Applications in Civil Aviation Industry 2020 He, Yuanqing
Study on IoT Solutions in Smart Airports 2020 Zhang, Huan
Task Offloading Strategy in Cloud Collaborative Edge Computing 2020 Wang, Wenli
The Shape Classification of Snowflakes Based on BP Neural Network 2020 Li, Haichuan
Fabric Hair Ball Pilling Detection Based on Memristive Cell Neural Network 2020 Wang, Jingyun
Optimal Location for Electric Vehicles Charging Stations Based on P-Median Model 2020 Tian, Daxin
Knowledge Extraction and Knowledge Graph Construction Based on Campus Security Logss 2020 Cao, Songfei
Safety Helmet Detection Method Based on Faster R-CNN 2020 Guo, Shuqiang
Banknote Infrared Characteristics Discrimination Based on PCA and LDA 2020 Li, Ruoxi
DFDM - A DeepFakes Detection Model Based on Steganography Forensic Network 2020 Zeng, Yang
An Image Steganalysis Model Combined with the Directionality of Residuals 2020 Jin, Zhujun
A Reputation Incentive Mechanism of Crowd Sensing System Based on Blockchain 2020 Cheng, Jieren
Kernel Fuzzy C Means Clustering with New Spatial Constraints 2020 Wang, Limei
Research on Rail Traffic Safety Factor Model Based on Deep Learning 2020 Zhao, Ping
A Study on PN Code Phase and Carrier Frequency Fast Estimation Technology for DSSS Signal 2020 Qi, Jianzhong
MultiSec: A Bionics Security Architecture of Ad-hoc Network 2020 Wang, Muyao
Alle Artikel auflisten