Kun Liu

A Formal Method for Service Choreography Verification based on Description Logic

2020 · Computers, materials & continua/Computers, materials & continua (Print)

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. This paper presents a new approach ... | Find, …

XLSTM-Informer-Based Task Load Prediction in Cloud-Edge-End Collaborative Architectures

2025

In cloud-edge-end collaborative computing architectures, traditional models often fail to accurately predict the dynamic, heterogeneous, and nonlinear task loads, which negatively impacts resource scheduling efficiency and increases system energy consumption. To address these challenges, this …