Results 71 to 80 of about 222,705 (339)
Rigorously assessing software reliability and safety [PDF]
, 1996 This paper summarises the state of the art in the assessment of software reliability and safety ("dependability"), and describes some promising developments.
Fenton, N., Strigini, L.
core +1 more source
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
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Investigation of Amazon and Google for Fault Tolerance Strategies in Cloud Computing Services
Online Academic Journal of Information Technology, 2016 Cloud computing has recently become an attractive topic due to its ability to offer information technology solutions through virtual machines as on-demand services to share and consume resources over the Internet.
Sinan Can Açan, Shereen Al-raheym
doaj +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
Technological reliability of chemical engineering systems
Тонкие химические технологии, 2016 A significant part of the gross domestic product is lost because of hitches followed by long downtime periods in industrial systems. This is a common problem in the industry of developed nations.
N. N. Prokhorenko, K. O. Goncharuk
doaj +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Formal Dependability Engineering with MIOA [PDF]
, 2008 In this paper, we introduce MIOA, a stochastic process algebra-like specification language with datatypes, as well as a logic intSPDL, and its model checking algorithms.
Haverkort, Boudewijn, Kuntz, Matthias
core +2 more sources
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Resilience-by-Design in 6G Networks: Literature Review and Novel Enabling Concepts
IEEE AccessThe sixth generation (6G) mobile communication networks are expected to intelligently integrate into various aspects of modern digital society, including smart cities, homes, health-care, transportation, and factories.
Ladan Khaloopour +14 more
doaj +1 more source