Quantifying Information Leaks Using Reliability Analysis [PDF]
, 2014 acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic
d Amorim, M +4 more
core +1 more source
Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models [PDF]
, 2008 This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For
Boudali, Hichem +4 more
core +2 more sources
Reliability and Competitive Electricity Markets [PDF]
, 2006 Deregulation of the electricity sector has resulted in conflict between the economic aims of creating competitive wholesale and retail markets, and an engineering focus on reliability of supply.
Joskow, Paul, Tirole, Jean
core +6 more sources
Towards the Formal Reliability Analysis of Oil and Gas Pipelines [PDF]
, 2014 It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardous materials.
A. Church +15 more
core +2 more sources
Dual energy X-ray absorptiometry positioning protocols in assessing body composition: A systematic review of the literature:A systematic review of the literature [PDF]
, 2018 OBJECTIVES: To systematically identify and assess methods and protocols used to reduce technical and biological errors in published studies that have investigated reliability of dual energy X-ray absorptiometry (DXA) for assessing body composition ...
Climstein, Michael +7 more
core +1 more source
Latency Analysis of Systems with Multiple Interfaces for Ultra-Reliable M2M Communication [PDF]
, 2016 One of the ways to satisfy the requirements of ultra-reliable low latency communication for mission critical Machine-type Communications (MTC) applications is to integrate multiple communication interfaces.
Nielsen, Jimmy J., Popovski, Petar
core +2 more sources
An Empirical analysis of Open Source Software Defects data through Software Reliability Growth Models [PDF]
, 2013 The purpose of this study is to analyze the reliability growth of Open Source Software (OSS) using Software Reliability Growth Models (SRGM). This study uses defects data of twenty five different releases of five OSS projects.
Morisio, Maurizio, Ullah, Najeeb
core +1 more source
High-reliability release mechanism [PDF]
, 1971 Release mechanism employing simple clevis fitting in combination with two pin-pullers achieves high reliability degree through active mechanical redundancy. Mechanism releases solar arrays. It is simple and inexpensive and performs effectively. It adapts
Paradise, J. J.
core +1 more source
Service validity and service reliability of search, experience and credence services: A scenario study [PDF]
, 2006 The purpose of this research is to add to our understanding of the antecedents of customer satisfaction by examining the effects of service reliability (Is the service “correctly” produced?) and service validity (Is the “correct” service produced?) of ...
Galetzka, Mirjam +2 more
core +2 more sources
Modelling and managing reliability growth during the engineering design process [PDF]
, 2010 [This is a keynote speech presented at the 2nd International Conference on Design Engineering and Science, discussing modelling and managing reliability growth during the engineering process.] Reliability is vital for safe and efficient operation of ...
Quigley, J.L., Walls, Lesley
core