Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-2

Toward hierarchical Petri nets model for dependability evaluation of Internet-scale software

Guannan Si, Guang Yang, Guanyuan Zhang

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2016-12

Change point–based software reliability model under imperfect debugging with revised concept of fault dependency

Subhashis Chatterjee, Ankur Shukla

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2025-10

Nonhomogeneous Poisson process software reliability model incorporating initial fault diversification and dependent failures

Youn Su Kim, Kwang Yoon Song, Hoang Pham [...]

Science Progress

Retricted access

Research article

First published 2021-10

Real-time decoding of automatic dependent surveillance – Broadcast signals by using software-defined radio and MATLAB®

Héctor Poveda, Guillaume Ferré, Romain Tajan

International Journal of Electrical Engineering & Education

Retricted access

Research article

First published 2019-10-09

Dependency-aware release planning for software projects using fuzzy graphs and integer programming

Davoud Mougouei, David M.W. Powers

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Other

First published 2002-03

Export Growth and Path Dependence: The Locking-in of Innovations in the Software Industry

Anthony P. D'Costa

Science,Technology and Society

Open access

Research article

First published 2014

A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems

Yunan Cao

Advances in Mechanical Engineering

Open access

Research article

First published 2023-03

ApoE Modifier Alleles for Alzheimer's Disease Discovered by Information Theory Dependency Measures: MIST Software Package

Andrew Banman, Nikita A. Sakhanenko, James Kunert-graf [...]

Journal of Computational Biology

Open access

Research article

First published 2009-2

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2007-6

A discussion of statistical testing on a safety-related application

S Kuball, J. H. R. May

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Search results