Software supply chain vulnerabilities arise when attackers exploit weaknesses by injecting vulnerable code into widely used packages or libraries within software repositories. While most existing ...

Abstract: Image-text matching remains challenging in big data processing. Matching accuracy is influenced by various factors, including the correlation between images and texts, feature extraction and ...

Abstract: This paper presents a method for the simultaneous synthesis of a barrier certificate and a safe controller for discrete-time nonlinear stochastic systems. Our approach, based on piecewise ...