Results 41 to 50 of about 222,705 (339)

Model-based dependability analysis : state-of-the-art, challenges and future outlook [PDF]

open access: yes, 2015
: 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]

open access: yes, 2011
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]

open access: yes, 2001
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

open access: yesEnergies, 2020
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 Dependence [PDF]

open access: yesAnaesthesia and Intensive Care, 2002
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

open access: yesSensors, 2016
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

open access: yesInternational Journal of Mathematical, Engineering and Management Sciences, 2023
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

open access: yesНадежность и качество сложных систем, 2023
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]

open access: yes, 2011
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

Imaging of High‐Risk Neuroblastoma: Recommendations From SIOPEN Radiology and Nuclear Medicine Specialty Committees

open access: yesPediatric Blood &Cancer, EarlyView.
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

Home - About - Disclaimer - Privacy