|
|
|
|
|
Wytse Oortwijn, Dilian Gurov and Marieke Huisman
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and c...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ashraf Hamdan Aljammal,Hani Bani-Salameh,Ayoub Alsarhan,Mohammad Kharabsheh,Mamoon Obiedat
Pág. pp. 55 - 65
Currently, cloud computing is facing different types of threats whether from inside or outside its environment. This may cause cloud to be crashed or at least unable to provide services to the requests made by clients. In this paper, a new techniqu...
ver más
|
|
|
|
|
|
|
|
|
|
|
Maram Fahaad Almufareh and Mamoona Humayun
Security and performance (SAP) are two critical NFRs that affect the successful completion of software projects. Organizations need to follow the practices that are vital to SAP verification. These practices must be incorporated into the software develop...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yi-Cheng Chen, Yueh-Peng Chou and Yung-Chen Chou
Research on digital image processing has become quite popular and rapid in recent years, and scholars have proposed various image verification mechanisms. Similarly , blockchain technology has also become very popular in recent years. This paper proposes...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jing Liu, Xuesong Hai and Keqin Li
Massive amounts of data drive the performance of deep learning models, but in practice, data resources are often highly dispersed and bound by data privacy and security concerns, making it difficult for multiple data sources to share their local data dir...
ver más
|
|
|
|
|
|
|
|
|
|
|
George Papazafeiropoulos and Vagelis Plevris
To facilitate the precise design of earthquake-resistant structures, it is imperative to accurately evaluate the impact of seismic events on these constructions and predict their responses. OpenSeismoMatlab, a robust, free ground motion data processing s...
ver más
|
|
|
|
|
|
|
|
|
|
|
Eunkyu Lee, Junaid Khan, Umar Zaman, Jaebin Ku, Sanha Kim and Kyungsup Kim
With the global advancement of maritime autonomous surface ships (MASS), the critical task of verifying their key technologies, particularly in challenging conditions, becomes paramount. This study introduces a synthetic maritime traffic generation syste...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xuan Zhao, Guoqiang Gao, Minshun Wan and Juchuan Dai
An accurate formula for calculating the pressure loss in concrete pumping plays a significant guiding role in the design and service process of pump trucks. Based on the flow characteristics of concrete pumping, a straight pipe one-dimensional model for ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Donggyun Kim, Byungjin Lee and Sangkyung Sung
This paper explores the research topic of enhancing the reliability of unmanned mobile exploration using LiDAR SLAM. Specifically, it proposes a technique to analyze waypoints where 3D LiDAR SLAM can be smoothly performed in potential exploration areas a...
ver más
|
|
|
|
|
|
|
|
|
|
|
Katsumi Watanabe, Takuma Shibata and Masazumi Ueba
In recent years, the use of fixed-wing Unmanned Aerial Vehicles (UAVs) has expanded, and the use of fixed-wing UAVs is expected to expand due to their usefulness for long-range operations. Different from manned aircraft, no provision is required regardin...
ver más
|
|
|
|
|
|
|
|
|
|
|
Luigi Di Palma, Mariacristina Nardone, Claudio Pezzella and Marika Belardo
This paper presents a methodology that involves the development of high-fidelity modeling and simulation procedures aimed at supporting virtual certification for crashworthiness requirements specific to tiltrotor aircraft, addressing the critical need fo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jun Fang, Tianhong Zhang, Zhaohui Cen and Elias Tsoutsanis
The starter generator, characterized by controllable starting torque and disturbance in generator load torque, poses challenges for the multi-electric aero engine control. The key to addressing this issue lies in multi-electric aero engine control with t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Pablo Vera-Soto, Javier Villegas, Sergio Fortes, José Pulido, Vicente Escaño, Rafael Ortiz and Raquel Barco
Aircraft are composed of many electronic systems: sensors, displays, navigation equipment, and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks since high reliability and pre...
ver más
|
|
|
|
|
|
|
|
|
|
|
Cuiping Chen, Xuebing Zhu, Zhi Zhao, Dezhi Du and Kaixiang Li
Brassica rapa, a major oilseed crop in high-altitude areas, is well known for its indeterminate inflorescences. However, this experiment revealed an intriguing anomaly within the plot: a variant displaying a determinate growth habit (520). Determinate in...
ver más
|
|
|
|
|
|
|
|
|
|
|
Giacomo Bergami
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tempora...
ver más
|
|
|
|
|
|
|
|
|
|
|
Marisol García-Valls and Alejandro M. Chirivella-Ciruelos
The lack of sufficient guarantee about the authenticity of running smart contracts is a major entry barrier to blockchain networks. By authenticity,we refer to the smart contract ownership or provenance; this implies perfect matching between a published ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xie He, Arash Habibi Lashkari, Nikhill Vombatkere and Dilli Prasad Sharma
Over the past few decades, researchers have put their effort and paid significant attention to the authorship attribution field, as it plays an important role in software forensics analysis, plagiarism detection, security attack detection, and protection...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xingchen Wang and Peng Li
With the widespread adoption of cloud computing, the face verification process often requires the client to upload the face to an untrusted cloud server to obtain the verification results. Privacy leakage issues may arise if the client?s private informat...
ver más
|
|
|
|
|
|
|
|
|
|
|
Theodore Andronikos and Alla Sirokofskich
In the dynamic landscape of digital information, the rise of misinformation and fake news presents a pressing challenge. This paper takes a completely new approach to verifying news, inspired by how quantum actors can reach agreement even when they are s...
ver más
|
|
|
|
|
|
|
|
|
|
|
Dario Guidotti, Laura Pandolfo and Luca Pulina
Interest in machine learning and neural networks has increased significantly in recent years. However, their applications are limited in safety-critical domains due to the lack of formal guarantees on their reliability and behavior. This paper shows rece...
ver más
|
|
|
|
|
|