Results 31 to 40 of about 1,932,015 (306)
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
A Taxonomy of MBSE Approaches by Languages, Tools and Methods
IEEE Access, 2022 Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE).
Pierre De Saqui-Sannes +3 more
doaj +1 more source
From ODP Viewpoint Consistency to Integrated Formal Methods [PDF]
, 2013 Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided ...
Derrick, John, Boiten, Eerke Albert
core +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 +1 more source
Formal Aspects of ComputingFormal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in industry, in activities ranging from the elicitation of requirements and the early design phases all the way to the deployment, configuration, and runtime ...
Maurice H. ter Beek +14 more
openaire +2 more sources
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?
IEEE Access, 2023 Formal method tools are used in the initial stages of the software development cycle and have advanced to deal with the design difficulties related to ensuring strong cybersecurity and reliability in high-assurance systems.
Mina Soltani Siapoush, Jim Alves-Foss
doaj +1 more source
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesThe FAO WaPOR (Water Productivity Open Access Portal) is a significant initiative developed by the Food and Agriculture Organization of the United Nations (FAO). It provides extensive datasets derived from remote sensing, specifically aimed at monitoring
A. Dhonthi +5 more
doaj +1 more source
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source