Skip to main content

9 Result(s)

within Yixiang Chen Remove this filter Mathematical Logic and Formal Languages Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Heterogeneous Multicore Co-scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster

    Heterogeneous multicore system integrated with FPGA has been shown to yield superior performance when executing real-time applications. In this paper, we propose a heterogeneous multicore co-scheduling algorit...

    **nyu Chen, Xueyi Chen, Yixiang Chen in Artificial Intelligence Logic and Applications (2023)

  2. No Access

    Chapter and Conference Paper

    A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means

    Fuzzy c-means (i.e., FCM) is a representative clustering method that is widely used in machine learning and pattern recognition. It can describe the degree of fuzziness of objects to clusters using memberships...

    Ze Lin, Yixiang Chen in Artificial Intelligence Logic and Applications (2023)

  3. No Access

    Chapter and Conference Paper

    A Trustworthiness Fuzzy Evaluation Model for Open Source Community

    With the frequent occurrence of security issues in open-source software, the public is gradually paying attention to the trustworthiness of open-source software. As the cradle of open-source software, the open...

    Xuecheng Hou, Ning Kang, Yixiang Chen in Artificial Intelligence Logic and Applications (2023)

  4. No Access

    Chapter and Conference Paper

    A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement

    Software trustworthiness measurement becomes a focus in software companies. In software trustworthiness measurement, traditional Analytic Hierarchy Process (shortly, AHP) is usually utilized to estimate softwa...

    Zelong Yue, **nghua Yao, Yixiang Chen in Artificial Intelligence Logic and Applications (2022)

  5. No Access

    Chapter and Conference Paper

    Quantitative BAN Logic Based on Belief Degree

    Authentication protocols are the basis for secure communication in many distributed systems but are highly prone to errors in their design, preventing them from working properly. It is therefore necessary to a...

    Kaixuan Li, Hengyang Wu, **yi Xu… in Artificial Intelligence Logic and Applicat… (2022)

  6. No Access

    Chapter and Conference Paper

    A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set

    The software has been a part of our daily life. However, software systems are becoming more and more complex, with many uncertainties, unavoidable software bugs, failures, and even disasters. The measurement o...

    Qilong Nie, Yixiang Chen, Hongwei Tao in Artificial Intelligence Logic and Applications (2022)

  7. No Access

    Book and Conference Proceedings

    Artificial Intelligence Logic and Applications

    The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings

    Yixiang Chen, Songmao Zhang in Communications in Computer and Information Science (2022)

  8. No Access

    Chapter and Conference Paper

    Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

    The Clock Constraint Specification Language (CCSL) is a clock-based specification language for capturing causal and chronometric constraints between events in Real-Time Embedded Systems (RTESs). Due to the lim...

    Yuanrui Zhang, Hengyang Wu, Yixiang Chen… in Formal Techniques for Safety-Critical Syst… (2019)

  9. No Access

    Chapter and Conference Paper

    Average Transitive Trustworthy Degrees for Trustworthy Networks

    The goal of this paper is to investigate measurement models of transitive trustworthiness for trustworthy networks. The reals in the interval [0,1] are used to define trust degrees in such a way that the large...

    Yixiang Chen, Min Zhang, Hong Zhu, Tianming Bu in Rough Sets and Knowledge Technology (2009)