Results 31 to 40 of about 4,235,689 (341)
The 4SECURail Formal Methods Demonstrator
, 2022 The need for high-quality standard interfaces is widely rec- ognized as a mandatory step to reduce procurement costs and create safely operating complex railway infrastructures. That is why European initiatives like EULYNX have been set up precisely with the purpose of supporting standard interfaces development.
Mazzanti F, Belli D
openaire +2 more sources
An Abstract Formal Basis for Digital Crowds [PDF]
, 2014 Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large number of people that access a single Internet platform or shared service.
Dennis, Louise A. +2 more
core +2 more sources
Formal methods in knowledge engineering
The Knowledge Engineering Review, 1995 AbstractThis paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods.
Van Harmelen, Frank, Fensel, Dieter
openaire +7 more sources
Assessing Unmet Needs of Caregivers after Stroke: Occupational Therapist Practices and Perspectives [PDF]
, 2020 Background: Family caregivers of stroke survivors often feel unprepared and overwhelmed post discharge with numerous unmet needs. Occupational therapists can play an integral role in addressing family caregivers’ needs.
Clymer, Deborah R +2 more
core +2 more sources
The Evaluation of Skeletal Age Based on Computer-Supported Methods in Comparison to the Atlas Method
Studies in Logic, Grammar and Rhetoric, 2013 This article describes methods used in estimating skeletal age based both on the evaluation of skeletal maturation of the palm and the wrist (Greulich and Pyle’s atlas method) and the Cervical Vertebral Maturation method (CVM).
Predko-Maliszewska Anna +2 more
doaj +1 more source
A Framework for Cybersecurity Requirements Management in the Automotive Domain
Sensors, 2023 The rapid development of intelligent connected vehicles has increased the attack surface of vehicles and made the complexity of vehicle systems unprecedented.
Feng Luo +4 more
doaj +1 more source
(User-friendly) formal requirements verification in the context of ISO26262
Engineering Science and Technology, an International Journal, 2020 In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles.
Denis Makartetskiy +7 more
doaj +1 more source
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
IEEE Access, 2020 Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang +3 more
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 1999 AbstractTechnology transfer from academic research to industrial practice is hampered by social, political and economic problems more that by technical issues. This paper describes one instance of successful technology transfer based on a special-purpose language and associated translation tool tailored to the customer's needs.
openaire +3 more sources
IEEE Access, 2021 Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their potential ...
Mohamed Abdelghany, Sofiene Tahar
doaj +1 more source