Delivering an accurate estimation of the effort required for software system development is crucial for the success of any software project. However, the software development lifecycle (SDLC) involves multiple activit...
详细信息
The Waveform Data Base (WFDB) software for Python is an open-source, less-featured toolkit developed under the shadow of the WFDB package. This library supports various PhysioNet databanks and hence provides excellent...
详细信息
This study examines the significant advancements in computer graphics and mechanical drawing, with an emphasis on how these developments have revolutionised engineering design precision and visualisation. For engineer...
详细信息
With the increasing complexity of software development, traditional automated testing methods face significant challenges in efficiency and coverage. This paper proposes a novel AI-driven automated testing method aime...
详细信息
This article introduces interval-valued Z-number with interval and linguistic value. It is a reliable tool to explain the vagueness or unclear boundary of linguistic in multiple attribute group decision making. This a...
详细信息
A one-time encryption consensus algorithm based on (t, n) threshold secret sharing is proposed to address the performance and security issues of consensus mechanisms in blockchain applications. The theoretical basis o...
详细信息
A major challenge in daily automotive use is the high incidence of car accidents, primarily attributed to human errors. This paper introduces Brain-Brake, an innovative brain-operated advanced driver-assistance system...
详细信息
ISBN:
(纸本)9798331530143
A major challenge in daily automotive use is the high incidence of car accidents, primarily attributed to human errors. This paper introduces Brain-Brake, an innovative brain-operated advanced driver-assistance system (ADAS) designed for collision avoidance. Utilizing electroencephalography (EEG) signals, Brain-Brake detects a driver's braking intention faster than traditional methods, addressing critical reaction time delays. It integrates a computer vision module that measures the proximity of objects to the vehicle, complementing the EEG-based intention detection for enhanced reliability. Implemented on embedded chips using the AUTOSAR framework, preliminary results indicate a significant reduction in reaction times during emergency braking scenarios, highlighting the system's potential to enhance road safety significantly.
The increasing number of authors and consequent publications in computerscience can cause some pitfalls, such as understanding the use and fairness of quality indicators for assessing research. In this preliminary wo...
详细信息
ISBN:
(纸本)9783031438486;9783031438493
The increasing number of authors and consequent publications in computerscience can cause some pitfalls, such as understanding the use and fairness of quality indicators for assessing research. In this preliminary work, we aim to examine whether there is a correlation between the citation count and the number of authors contributing to a paper as well as their academic ages. Additionally, we shed light on highly cited papers and compare their authors. For this purpose, we investigate authors' characteristics by conducting data analyses based on a dataset of four prestigious software-engineering-related conferences comprising 5,143 papers and their authors. Our results indicate that the number of authors does not connect to the citation count, but the current academic age of the authors does. We also found that 98% of the highly cited main-track papers had a contribution from at least one senior researcher, whereas none of these papers was written by a junior researcher alone. These first results are a step towards more in-depth research concerning the fair evaluation of computer-science researchers-specifically regarding juniors and their inclusion.
With the rise of network cameras, the authenticity of video data they capture has become a common challenge in forensic science and expertise. There are many camera manufacturers and brands available, and videos from ...
详细信息
In Cyber-Physical Systems (CPS), concurrently executing software components interact with each other and the physical environment to deliver functionality that is often safety-critical and time-sensitive. Verifying th...
详细信息
ISBN:
(数字)9783031660641
ISBN:
(纸本)9783031660634;9783031660641
In Cyber-Physical Systems (CPS), concurrently executing software components interact with each other and the physical environment to deliver functionality that is often safety-critical and time-sensitive. Verifying the correctness of the joint behavior of concurrent software components, however, is challenging. It is helpful to eliminate nondeterminism in the software, at the level of the programming model, and provide first-class programming constructs for expressing timed behavior. The Lingua Franca (LF) coordination language achieves this through the use of the Reactor model as its underlying model of computation. In this paper, we present the first formal operational semantics for the Reactor model, and prove its key properties of progress and determinism. The Reactor model and its associated proofs are fully mechanized in the Lean theorem prover. As an operational model, our semantics are close to the intuition for implementation and a helpful reference. The computational objects of the Reactor model are formalized in a modular fashion, which provides insights into the different structural properties of the model, and their effect on execution behavior.
暂无评论