Property-preserving petri net process algebra in software engineering

Veröffentlicht 2012

Property-preserving petri net process algebra in software engineering

Veröffentlicht 2012

Multi-AGVs Pathfinding Based on Improved Jump Point Search in Logistic Center

von Zhang, Yunwang
Veröffentlicht in AAIM (14. : 2020 : Jinhua; Online) Algorithmic aspects in information and management (2020)

Distance-Based Adaptive Large Neighborhood Search Algorithm for Green-PDPTW

von Lu, Jinying
Veröffentlicht in AAIM (14. : 2020 : Jinhua; Online) Algorithmic aspects in information and management (2020)

Mask Adaptive Spatial-Temporal Recurrent Neural Network for Traffic Forecasting

von Hu, Xingbang
Veröffentlicht in Pacific-Asia Conference on Knowledge Discovery and Data Mining (28. : 2024 : Taipeh) Advances in knowledge discovery and data mining ; Part 5 (2024)

Verifiable Encrypted Search with Forward Secure Updates for Blockchain-Based System

von Li, Han
Veröffentlicht in WASA (15. : 2020 : Online) Wireless algorithms, systems, and applications ; Part 1 (2020)

Multi-echelon Vehicle Routing Problem in Sensor-Cloud Architecture with Mobile Sinks

von Song, Liang
Veröffentlicht in TrustData (11. : 2020 : Nanjing) Security, privacy, and anonymity in computation, communication, and storage (2021)

An Energy-Efficient Scheduling Method for Real-Time Multi-workflow in Container Cloud

von Sun, Zaixing
Veröffentlicht in Annual International Conference on Combinatorial Optimization and Applications (16. : 2023 : Honolulu, Hawaii) Combinatorial optimization and applications ; Part 1 (2024)

MSTAN: A Multi-view Spatio-Temporal Aggregation Network Learning Irregular Interval User Activities for Fraud Detection

von Zhang, Wenbo
Veröffentlicht in Pacific-Asia Conference on Knowledge Discovery and Data Mining (28. : 2024 : Taipeh) Advances in knowledge discovery and data mining ; Part 5 (2024)

Multi-Load Agent Path Finding for Online Pickup and Delivery Problem

von Li, Yifei
Veröffentlicht in COCOON (29. : 2023 : Honolulu, Hawaii) Computing and combinatorics ; Part 1 (2024)

Practical Attribute-Based Multi-keyword Search Scheme with Sensitive Information Hiding for Cloud Storage Systems

von Zhao, Jie
Veröffentlicht in Annual International Conference on Combinatorial Optimization and Applications (16. : 2023 : Honolulu, Hawaii) Combinatorial optimization and applications ; Part 2 (2024)

A Two-Layers Heuristic Search Algorithm for Milk Run with a New PDPTW Model

von Cai, Xuhong
Veröffentlicht in COCOA (14. : 2020 : Online) Combinatorial optimization and applications (2020)

Efficient Budget-Distance-Aware Influence Maximization in Geo-Social Network

von Gu, Yue
Veröffentlicht in WASA (16. : 2021 : Nanjing) Wireless Algorithms, systems, and applications ; Part 3 (2021)

Learning Traffic as Videos: A Spatio-Temporal VAE Approach for Traffic Data Imputation

von Chen, Jiayuan
Veröffentlicht in International Conference on Artificial Neural Networks (30. : 2021 : Online) Artificial neural networks and machine learning - ICANN 2021 ; Part 5 (2021)

IoT-GAN: Anomaly Detection for Time Series in IoT Based on Generative Adversarial Networks

von Chen, Xiaofei
Veröffentlicht in ICA3PP (21. : 2021 : Online) Algorithms and Architectures for Parallel Processing ; Part 2 (2022)

Blockchain-Assisted Privacy-Preserving Public Auditing Scheme for Cloud Storage Systems

von Xiang, Wenyu
Veröffentlicht in International Conference on Algorithms and Architectures for Parallel Processing (23. : 2023 : Tientsin) Algorithms and architectures for parallel processing ; Part 2 (2024)