Results 41 to 50 of about 222,705 (339)
Model-based dependability analysis : state-of-the-art, challenges and future outlook [PDF]
: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend
Kabir, Sohag +3 more
core +2 more sources
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems [PDF]
In recent work, we have argued for a formal treatment of confidence about the claims made in dependability cases for software-based systems. The key idea underlying this work is "the inevitability of uncertainty": It is rarely possible to assert that a ...
Bishop, P. G. +4 more
core +1 more source
Techniques for the Fast Simulation of Models of Highly dependable Systems [PDF]
With the ever-increasing complexity and requirements of highly dependable systems, their evaluation during design and operation is becoming more crucial.
Nakayama, Marvin K. +2 more
core +3 more sources
Effect of Diesel Fuel-Coconut Oil-Butanol Blends on Operational Parameters of Diesel Engine
The global concentration of greenhouse gasses in the atmosphere is increasing as well as the emissions of harmful pollutants. Utilization of liquid biofuels in combustion engines helps to reduce these negative effects. For diesel engines, the most common
Jakub Čedík +5 more
doaj +1 more source
Ketamine hydrochloride is a safe and rapid-acting non-opioid, lipid soluble anaesthetic with a short elimination half-life that is used for medical and veterinary purposes. It produces a state of “dissociative anaesthesia”, probably from action on N-methyl-D-aspartate (NMDA) receptors.
H R, Pal, N, Berry, R, Kumar, R, Ray
openaire +2 more sources
A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks
Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs.
Alessandro Testa +3 more
doaj +1 more source
System-Level Dependability Analysis of Bitcoin under Eclipse and 51% Attacks
Bitcoin is an electronic cryptocurrency developed based on Blockchain technology. With its decentralized feature, it has become incredibly popular since its invention.
Chencheng Zhou +3 more
doaj +1 more source
QUALITY AND RELIABILITY OF LOW-POWER POWER SYSTEMS
Background. The problem of dependability and emergency stability of local low-power systems require attention due to the risks of energy safety for autonomous agglomerations.
Tatyana V. Boykova +4 more
doaj +1 more source
An automated wrapper-based approach to the design of dependable software [PDF]
The design of dependable software systems invariably comprises two main activities: (i) the design of dependability mechanisms, and (ii) the location of dependability mechanisms. It has been shown that these activities are intrinsically difficult.
Jhumka, Arshad, Leeke, Matthew
core +1 more source
ABSTRACT Neuroblastoma is the most common extracranial solid tumor in early childhood. Its clinical behavior is highly variable, ranging from spontaneous regression to fatal outcome despite intensive treatment. The International Society of Pediatric Oncology Europe Neuroblastoma Group (SIOPEN) Radiology and Nuclear Medicine Specialty Committees ...
Annemieke Littooij +11 more
wiley +1 more source

