Computer Science: Recent submissions

Now showing items 16-20 of 820

    • Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL 

      Marmsoler, D; Brucker, AD (Association for Computing Machinery (ACM), 15 October 2024)
      Smart contracts are computer programs designed to automate legal agreements. They are usually developed in a high-level programming language, the most popular of which is Solidity. Every day, hundreds of thousands of new ...

    • Does Every Computer Scientist Need to Know Formal Methods? 

      Broy, M; Brucker, A; Fantechi, A; et al. (Association for Computing Machinery (ACM), 10 June 2024)
      We focus on the integration of Formal Methods as mandatory theme in any Computer Science University curriculum. In particular, when considering the ACM Curriculum for Computer Science, the inclusion of Formal Methods as a ...

    • HTEKG: A Human-Trait-Enhanced Literary Knowledge Graph with language model evaluation 

      Kalathil, SS; Li, T; Dong, H; et al. (SciTePress, 24 November 2024)
      Knowledge Graphs (KGs) are a crucial component of Artificial Intelligence (AI) systems, enhancing AI’s capabilities in literary analysis. However, traditional KG designs in this field have focused more on events, often ...

    • PerFRDiff: Personalised weight editing for multiple appropriate facial reaction generation 

      Zhu, H; Kong, X; Xie, W; et al. (Association for Computing Machinery, 28 October 2024)
      Human facial reactions play crucial roles in dyadic human-human interactions, where individuals (i.e., listeners) with varying cognitive process styles may display different but appropriate facial reactions in response to ...

    • Dealing with uncertainty in cybersecurity decision support 

      Zhang, Y; Malacaria, P (Elsevier, 19 October 2024)
      The mathematical modeling of cybersecurity decision-making heavily relies on cybersecurity metrics. However, achieving precision in these metrics is notoriously challenging, and their inaccuracies can significantly influence ...