Results 61 to 70 of about 526,453 (338)

Formal model and Policy specification for software defined networks

Journal of Kufa for Mathematics and Computer, 2016
Software-defined networking SDN is gaining a sharp increase in adoption by very well-known companies Like Google and Microsoft. Currently, the two stands out reliability and security are the most issues that hampering the SDN rapid growth.
DAWOOD SALMAN JASIM AL-FARTTOOSI
doaj   +1 more source

The Comparative Effectiveness and Tolerability of Sphingosine‐1‐Phosphate Receptor Modulators in Patients With Multiple Sclerosis: A Network Meta‐Analysis of Randomized Controlled Trials

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Sphingosine‐1‐phosphate receptor modulators (S1PRM) are used to treat relapsing multiple sclerosis (MS). Each drug has a different S1PR‐subtype selectivity. They target the G‐protein coupled S1P receptors and exert significant immunomodulatory effects, such as preventing the formation of new CNS lesions and the reactivation of pre ...
Faizan Shahzad, Taimoon Rasheed, Momina Riaz Siddiqui, Hamza Hamid, Marwah Bintay Khalid, Haroon Shabbir, Besher Shami, Abdullah, Syed Ijlal Ahmed   +8 more
wiley   +1 more source

OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD [PDF]

ICTACT Journal on Soft Computing, 2015
The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product.
A. Jalila, D. Jeya Mala
doaj  

Effects of Pharmacologic and Nonpharmacologic Interventions for the Management of Sleep Problems in People With Fibromyalgia: Systematic Review and Network Meta‐Analysis of Randomized Controlled Trials

Arthritis Care &Research, EarlyView.
Objective Fibromyalgia is a chronic condition characterized by widespread musculoskeletal pain and fatigue. Almost everyone with fibromyalgia has sleep problems. We aimed to evaluate the effectiveness and safety of current interventions for the management of fibromyalgia‐related sleep problems.
Jemma Hudson, Mari Imamura, Clare Robertson, Daniel Whibley, Lorna Aucott, Katie Gillies, Paul Manson, Debra Dulake, Abhishek Abhishek, Nicole K. Y. Tang, Gary J. Macfarlane, Miriam Brazzelli   +11 more
wiley   +1 more source

Association of Higher Levels of High‐Sensitivity C‐Reactive Protein With Future Development of Psoriatic Arthritis in Psoriasis: A Prospective Cohort Study

Arthritis Care &Research, EarlyView.
Objective We aimed to assess whether high‐sensitivity C‐reactive protein (hsCRP) levels could predict the development of psoriatic arthritis (PsA) in patients with psoriasis. Methods We analyzed data from a prospective cohort of patients with psoriasis without PsA at enrollment.
Lihi Eder, Xianwei Li, Vinod Chandran, Cheryl F. Rosen, Richard J. Cook, Dafna D. Gladman   +5 more
wiley   +1 more source

Study on OSPF Algebraic Formal Modelling Using ACP

Elektronika ir Elektrotechnika, 2018
OSPF is a commonly used link state routing protocol in order to interconnect network devices inside an Autonomous System. This paper focuses on achieving a detailed modelling for OSPF by performing manual algebraic derivations according to Algebra of ...
Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz   +3 more
doaj   +1 more source

Model‐based validation of diagnostic software with application in automotive systems

IET Cyber-systems and Robotics, 2021
Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj   +1 more source

Risk of Hepatotoxicity in Patients With Gout Treated With Febuxostat or Benzbromarone: A Propensity Score–Matched Cohort Study

Arthritis Care &Research, EarlyView.
Objective The objective of this study was to evaluate and compare the risk of hepatotoxicity associated with the use of febuxostat and benzbromarone in patients with gout. Methods New users of febuxostat or benzbromarone with monitoring of liver function at least three times in a year after initiation of the study drugs were identified from an ...
Wenyan Sun, Lingling Cui, Robert Terkeltaub, Ying Chen, Xinde Li, Xiaoyu Cheng, Tian Liu, Nicola Dalbeth, Changgui Li   +8 more
wiley   +1 more source

Understanding Contributors of Resilience in Youth With Childhood‐Onset Systemic Lupus Erythematosus Through a Socioecological Lens: A Mixed‐Methods Study

Arthritis Care &Research, EarlyView.
Objective This study aimed to identify themes contributing to resilience in childhood‐onset systemic lupus erythematosus (cSLE), distinguish between profiles of resilience, and examine how they relate to underlying themes and patient characteristics. Methods We conducted a mixed‐methods study of 21 patients with cSLE aged 11 to 19 years at a Canadian ...
Isabella Zaffino, Louise Boulard, Joanna Law, Asha Jeyanathan, Lawrence Ng, Sandra Williams‐Reid, Kiah Reid, Angela Cortes, Eugene Cortes, Ashley Danguecan, Deborah M. Levy, Linda T. Hiraki, Andrea M. Knight   +12 more
wiley   +1 more source

InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

Моделирование и анализ информационных систем, 2020
The extent of formal verification methods applied to industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs' application
Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson   +5 more
doaj   +1 more source