Results 31 to 40 of about 214,245 (305)
Using the probabilistic evaluation tool for the analytical solution of large Markov models [PDF]
, 1995 Stochastic Petri net-based Markov modeling is a potentially very powerful and generic approach for evaluating the performance and dependability of many different systems, such as computer systems, communication networks, manufacturing systems, etc.
Haverkort, Boudewijn R. +1 more
core +4 more sources
A synthesis of logic and bio-inspired techniques in the design of dependable systems [PDF]
, 2016 Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting ...
Azevedo, Luis +7 more
core +1 more source
Effect of Diesel Fuel-Coconut Oil-Butanol Blends on Operational Parameters of Diesel Engine
Energies, 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
Reliability Analysis of Concurrent Systems using LTSA [PDF]
, 2007 The analysis for software dependability is considered an important task within the software engineering life cycle. However, it is often impossible to carry out this task due to the complexity of available tools, lack of expert personnel and time-to ...
Rodrigues, GN, Rosenblum, DS, Wolf, J
core +1 more source
Anaesthesia 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
Sensors, 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
International 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
Validation of Ultrahigh Dependability for Software-Based Systems [PDF]
, 1993 Modern society depends on computers for a number of critical tasks in which failure can have very high costs. As a consequence, high levels of dependability (reliability, safety, etc.) are required from such computers, including their software.
Barwise J +10 more
core +2 more sources
QUALITY AND RELIABILITY OF LOW-POWER POWER SYSTEMS
Надежность и качество сложных систем, 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
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems [PDF]
, 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