the proceedings contain 45 papers. the topics discussed include: dynamic numerical studies of a rotorcraft entering and exiting rectangular tunnel;analysis of rehabilitation benefits of IoT cloud computing applied to ...
ISBN:
(纸本)9798350325553
the proceedings contain 45 papers. the topics discussed include: dynamic numerical studies of a rotorcraft entering and exiting rectangular tunnel;analysis of rehabilitation benefits of IoT cloud computing applied to elderly rehabilitation equipment;domain information learning for multi-domain knowledge graph link prediction;comparison of artificial intelligence models in cross-lingual transfer learning through sentiment analysis;comparison of incentive strategies on the buyer's decision-making process using PLS-SEM approach;implementing a secure blockchain-based wallet system with multi-factor authentication;wireless precise positioning technology with application to autonomous aircraft shipborne landing system;blockchain for identity management: ensuring trust and integrity in the education sector;and semi-automated behavior-driven testing for the web front-ends.
Android Apps are frequently updated to keep up with changing user, hardware, and business demands. Ensuring the correctness of App updates through extensive testing is crucial to avoid potential bugs reaching the end ...
详细信息
ISBN:
(纸本)9798400702174
Android Apps are frequently updated to keep up with changing user, hardware, and business demands. Ensuring the correctness of App updates through extensive testing is crucial to avoid potential bugs reaching the end user. Existing Android testing tools generate GUI events that focus on improving the test coverage of the entire App rather than prioritising updates and impacted elements. Recent research has proposed change-focused testing but relies on random exploration to exercise change-impacted GUI elements that is ineffective and slow for large complex Apps with a huge input exploration space. At ByteDance, our established model-based GUI testing tool, Fastbot2, has been in successful deployment for nearly three years. Fastbot2 leverages event-activity transition models derived from past explorations to achieve enhanced test coverage efficiently. A pivotal insight we gained is that the knowledge of event-activity transitions is equally valuable in effectively targeting changes introduced by updates. this insight propelled our proposal for directed testing of updates with HAWKEYE. HAWKEYE excels in prioritizing GUI actions associated with code changes through deep reinforcement learning from historical exploration data. In our empirical evaluation, we rigorously compared HAWKEYE with state-of-the-art tools like Fastbot2 and ARES on 10 popular open-source Apps and a commercial App. the results showcased that HAWKEYE consistently outperforms Fastbot2 and ARES in generating GUI event sequences that effectively target changed functions, both in open-source and commercial App contexts. In real-world industrial deployment, HAWKEYE is seamlessly integrated into our development pipeline, performing smoke testing for merge requests in a complex commercial App. the positive feedback received from our App development teams further affirmed HAWKEYE's ability in testing App updates effectively.
Digitalization has been shaping the ways how we work and live for a considerable length of time. Businesses’ competitiveness is partially determined by their capability to adopt and leverage new technologies. One of ...
详细信息
As discrete manufacturing tends to be small batch and customized, automated Production Systems (aPS) must be more flexible to adapt to the variety of products, which makes the aPS more complex and error-prone. To incr...
详细信息
Recently, there has been growing attention on behalf of both academic and practice communities towards the ability of Artificial Intelligence (AI) systems to operate responsibly and ethically. As a result, a plethora ...
详细信息
ISBN:
(纸本)9798400717017
Recently, there has been growing attention on behalf of both academic and practice communities towards the ability of Artificial Intelligence (AI) systems to operate responsibly and ethically. As a result, a plethora of frameworks and guidelines have appeared to support practitioners in implementing Trustworthy AI applications (TAI). However, little research has been done to investigate whether such frameworks are being used and how. In this work, we study the vision AI practitioners have on TAI principles, how they address them, and what they would like to have - in terms of tools, knowledge, or guidelines - when they attempt to incorporate such principles into the systems they develop. through a survey and semi-structured interviews, we systematically investigated practitioners' challenges and needs in developing TAI systems. Based on these practical findings, we highlight recommendations to help AI practitioners develop Trustworthy AI applications.
Automation of legal norms can only exist because of compromises made in translating laws in natural languages to code (executables) in formal languages. Tax and benefits law is canonically considered one of the least ...
详细信息
ISBN:
(纸本)9798400701979
Automation of legal norms can only exist because of compromises made in translating laws in natural languages to code (executables) in formal languages. Tax and benefits law is canonically considered one of the least compromising domains of law in terms of this nuance. In this paper, I compare two domain-specific languages used in the automation of tax and benefits law: Catala, which is proposed for use by the French Tax Authority, and Regelspraak, which the Dutch Tax Authority uses. the comparison is based on a top-down modeling approach, which does not try to go all the way down to the technical differences but aims to identify the points at which the two approaches diverge in the way the norm is shaped. It becomes evident that a lot of decisions that affect normativity are made inside the technical components of these systems. Safeguarding legal protection at the creation of automation of norms will likely require cross-domain efforts.
the advent of Virtual Reality (VR) technology has significantly affected most of our life sectors such as entertaining applications, education, gaming, knowledge acquisition, engineering, and science fields, to mentio...
详细信息
ISBN:
(纸本)9798350351491;9798350351484
the advent of Virtual Reality (VR) technology has significantly affected most of our life sectors such as entertaining applications, education, gaming, knowledge acquisition, engineering, and science fields, to mention a few. this is due to the innovative ways that VR offers in terms of interactions and the immersive experience withthe environment, which is necessarily different from the traditional 2D ways. However, one of the most frequent issues in the VR applications are the approaches used in evaluating the quality of these applications. Hence, this paper proposes VR application for visualizing big and complex biological data. then, the proposed application is assessed under a variety of VR software evaluation metrics. Questionnaires are distributed to expert biologists aiming at having accurate insights about the quality of the proposed VR application. the metrics used in the assessment are;performance, usability, user engagement, accuracy, and safety. the findings showed promising results that can be adopted by VR developers.
Metamaterials introduce innovative possibilities for morphing wing design. this paper explores two methods of incorporating metamaterials into morphing wing design and applies a Multidisciplinary Design Optimization p...
详细信息
the emergence of large language models (LLMs) represented by ChatGPT has profoundly influenced the conventional software development process. Nevertheless, there is little research on how developers interact with LLMs...
详细信息
ISBN:
(纸本)9798350376975;9798350376968
the emergence of large language models (LLMs) represented by ChatGPT has profoundly influenced the conventional software development process. Nevertheless, there is little research on how developers interact with LLMs. To investigate the interaction between developers and LLMs during software development, we conducted a user study with 56 participants, who were randomly assigned into two groups to perform different types of software development tasks. the first task was solving two simple coding puzzles, and the second was to fix two real-world bugs from a small-scale open source projects. We captured the full screen histories of all participants to construct a Markov activity transition model, depicting transitions among prevalent development activities such as coding, writing prompt and debugging. By characterizing developer behavior of the two groups of participants in the task, our study contributes empirical insights into developer behavior while interacting with LLMs. Such knowledge could guide the development of LLM-specific capabilities in supporting software development tasks, and offer valuable insights for developers aiming to utilize LLMs for more efficient problem-solving in their development practices.
the article shows a block diagram of an asynchronous electric drive with a frequency converter for oil production. A mathematical description of the dynamics of an asynchronous electric drive with a frequency converte...
详细信息
暂无评论