作者: organism 時(shí)間: 2025-3-22 00:11
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecturs between two or several systems by reusing state spaces of similar components that are computed during previous verification. A distributed cloud-based architecture is proposed to perform the parallel computation for control verification time and memory occupation. The paper’s contribution is appli作者: 全神貫注于 時(shí)間: 2025-3-22 03:00 作者: 易發(fā)怒 時(shí)間: 2025-3-22 07:32 作者: Confirm 時(shí)間: 2025-3-22 11:40
,A Genetic Algorithm with Tournament Selection for Automated Testing of?Satellite On-board Image Propace with complete coverage of the input domain. Based on the reduced search space, we run a genetic algorithm to automatically select test cases that provoke worst case execution times and inaccurate results of the satellite on-board image processing application. For this purpose, we define a two-c作者: prodrome 時(shí)間: 2025-3-22 16:55 作者: Coeval 時(shí)間: 2025-3-22 19:18
Multilevel Readability Interpretation Against Software Properties: A Data-Centric Approach,code hosting facilities. We perform static analysis at two levels (method and class) and construct a benchmark dataset that includes more than one million methods and classes covering diverse development scenarios. After performing clustering based on source code size, we employ Support Vector Regre作者: Abjure 時(shí)間: 2025-3-22 22:02 作者: Counteract 時(shí)間: 2025-3-23 02:38
ents of the scalar field must be the same for all FoRs in order to guarantee a meaningful comparison. This in mind it will be shown (a) that the nabla operator in the current configuration is invariant, (b) that the nabla operator in the reference configuration is not, and (c) that the aforementione作者: 來(lái)就得意 時(shí)間: 2025-3-23 06:03 作者: Incise 時(shí)間: 2025-3-23 13:24 作者: configuration 時(shí)間: 2025-3-23 16:59 作者: 掃興 時(shí)間: 2025-3-23 19:27
Chams Eddine Choucha,Mohamed Ramdani,Moahmed Khalgui,Laid Kahloul us to extract the heat power density corresponding to the mechanical dissipation caused by fatigue. The study was performed on specimens featuring a specific geometry and printed with different process parameters. Distinguishing differences in the production of mechanical dissipation at the beginni作者: 男學(xué)院 時(shí)間: 2025-3-24 00:48
Ulrike Witteck,Denis Grie?bach,Paula Herbericult-to-cut titanium alloy (Ti6Al4V) by using PVD-TiAlN coated carbide tools under vegetable oil assisted minimum quantity cooling lubrication (MQCL). The cutting insert consists of substrate based on tungsten carbide with 6% cobalt to maintain high hot hardness and fracture resistance. Thin PVD-Ti作者: cruise 時(shí)間: 2025-3-24 06:02 作者: 驚惶 時(shí)間: 2025-3-24 09:35 作者: 錯(cuò)事 時(shí)間: 2025-3-24 12:37 作者: 租約 時(shí)間: 2025-3-24 16:20 作者: Venules 時(shí)間: 2025-3-24 19:54 作者: Graves’-disease 時(shí)間: 2025-3-25 00:49 作者: CYT 時(shí)間: 2025-3-25 03:56
Marten van Sinderen,Leszek A. Maciaszek,Hans-Georg作者: Gustatory 時(shí)間: 2025-3-25 09:30 作者: 范圍廣 時(shí)間: 2025-3-25 12:01
A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data,rogeneous sensor stream data with context in the IoT. In this context, an IoT real-time air quality monitoring system and different semantic annotations are developed for sensor stream data in the format of Sensor Observation Service (SOS).作者: Metastasis 時(shí)間: 2025-3-25 19:54 作者: Acumen 時(shí)間: 2025-3-25 22:50 作者: GLUT 時(shí)間: 2025-3-26 02:57
,A Machine Learning Based Methodology for Web Systems Codeless Testing with?Selenium,posing a codeless testing automation framework. Our approach is based on Selenium and a machine learning technique to propose generic testing scripts that can be automatically tuned to the tested use cases. Experiments are provided leading to relevant results demonstrating the success of our methodology.作者: CHIDE 時(shí)間: 2025-3-26 05:52
1865-0929 was?held virtually due to the Covid-19 pandemic.?.The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics:?business process modelling; IT service management; interoperability and service-oriented architecture; project management 作者: regale 時(shí)間: 2025-3-26 10:25
Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of allowing multiple passengers to share a trip, has recently emerged as a promising solution to cope with several problems such as low vehicle utilization rates, pollution, and parking spaces. The expected uncertain travel demand on such systems and its resulting imbalance and insufficient charging r作者: Arbitrary 時(shí)間: 2025-3-26 12:56 作者: gerontocracy 時(shí)間: 2025-3-26 18:46
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecturd net condition/event systems (R-TNCESs) where the properties to be verified to ensure the well behave of systems are expressed by computation tree logic CTL. Reconfigurable discrete event control systems (RDECSs) are complex and critical systems, which, make their formal verification expensive in t作者: 大門在匯總 時(shí)間: 2025-3-26 22:34
MLCA: A Model-Learning-Checking Approach for IoT Systems,concept holds fabulous promises, but security aspects tend to be significant barriers for the adoption of large-scale IoT deployments. This paper proposes an approach to assist companies or organisations in the security audit of IoT systems. This approach called Model Learning and Checking Approach 作者: 確定方向 時(shí)間: 2025-3-27 02:42 作者: 正常 時(shí)間: 2025-3-27 05:39
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based nts continues to challenge experts which have to face new challenges such as fault tolerance, response in time, flexibility, modularity, etc. Moreover, such systems face constraints as real-time requirements, their generated state spaces are much bigger, consequently, properties to be verified are m作者: Occipital-Lobe 時(shí)間: 2025-3-27 10:23 作者: Fallibility 時(shí)間: 2025-3-27 16:02
,Model-Based Threat Modeling for?Cyber-Physical Systems: A?Computer-Aided Approach, that interact with the physical world. Following the principle of security-by-design, the consideration of security should take place as early as possible during software development. However, the current state of the art often lacks systematic documentation of possible threats, and the identificat作者: amenity 時(shí)間: 2025-3-27 20:06 作者: craving 時(shí)間: 2025-3-27 22:38 作者: 袋鼠 時(shí)間: 2025-3-28 02:19 作者: cruise 時(shí)間: 2025-3-28 08:15 作者: 錯(cuò)事 時(shí)間: 2025-3-28 14:24 作者: 上腭 時(shí)間: 2025-3-28 18:37
Conference proceedings 2021following topics:?business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others..作者: Aggressive 時(shí)間: 2025-3-28 18:50 作者: 圖畫文字 時(shí)間: 2025-3-28 23:35
Rihab Khemiri,Mohamed Naija,Ernesto Expositoere able to write down, and solve, their equations of motion. The single most fundamental property of a railway vehicle is the use of a steel wheel running on a steel rail with all the traction, braking and guidance forces being transmitted through a small contact area between the wheel and the rail作者: Talkative 時(shí)間: 2025-3-29 06:17 作者: 消滅 時(shí)間: 2025-3-29 07:33 作者: linguistics 時(shí)間: 2025-3-29 13:46
Chams Eddine Choucha,Mohamed Ramdani,Moahmed Khalgui,Laid Kahloulam melting. More generally, mechanical properties strongly depend on the process parameters (scan speed, laser power, laser spot size, etc.). The present study proposes a calorific analysis of the fatigue response of 3D-printed maraging steel from thermal measurements obtained by infrared (IR) therm作者: Awning 時(shí)間: 2025-3-29 16:24
Ulrike Witteck,Denis Grie?bach,Paula Herberity to operate at higher operating temperatures and resistance against corrosion. Alpha-beta titanium alloy (Ti6Al4V) is the most frequently used titanium alloy, mainly preferred for the applications such as blades, discs, jet engine airframes and biomedical implants. TiAlN coating is highly favored作者: defuse 時(shí)間: 2025-3-29 21:34
Monika Maidl,Gerhard Münz,Stefan Seltzsam,Marvin Wagner,Roman Wirtz,Maritta Heiselxistence of at least two ferroic forms of ordering leads to additional interactions (Fig. 8.1). A typical example is that of magnetoelectric multiferroic materials, in which an applied electric field can tune the ferromagnetic properties of the materials, and vice versa. The phenomenon is different
