Results 31 to 40 of about 4,463,103 (324)

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions

IEEE Access, 2020
Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang, Zining Cao, Lixing Tan, Hui Zong   +3 more
doaj   +1 more source

An Abstract Formal Basis for Digital Crowds [PDF]

, 2014
Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large number of people that access a single Internet platform or shared service.
Dennis, Louise A., Fisher, Michael, Slavkovik, Marija   +2 more
core   +2 more sources

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

IEEE Access, 2022
Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE).
Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux   +3 more
doaj   +1 more source

Using Lightweight Formal Methods for JavaScript Security [PDF]

, 2010
The goal of this work was to apply lightweight formal methods to the study of the security of the JavaScript language. Previous work has shown that lightweight formal methods present a new approach to the study of security in the context of the Java ...
Reynolds, Mark
core   +1 more source

Sickle Cell Disease Is an Inherent Risk for Asthma in a Sibling Comparison Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Sickle cell disease (SCD) and asthma share a complex relationship. Although estimates vary, asthma prevalence in children with SCD is believed to be comparable to or higher than the general population. Determining whether SCD confers an increased risk for asthma remains challenging due to overlapping symptoms and the ...
Suhei C. Zuleta De Bernardis, Okeleji Olayinka, Mariam Z. Quraishi, Lakshmi V. Srivaths, Deborah L. Brown, Neethu M. Menon, Ricardo A. Mosquera, Ashwin P. Patel, James M. Stark, Aravind Yadav   +9 more
wiley   +1 more source

Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
The FAO WaPOR (Water Productivity Open Access Portal) is a significant initiative developed by the Food and Agriculture Organization of the United Nations (FAO). It provides extensive datasets derived from remote sensing, specifically aimed at monitoring
A. Dhonthi, F. H. Fonseca Aponte, Z. Nemer, C. Hadj Ali, M. Y. Tebbouche, H. Van Der Kwast   +5 more
doaj   +1 more source

Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?

IEEE Access, 2023
Formal method tools are used in the initial stages of the software development cycle and have advanced to deal with the design difficulties related to ensuring strong cybersecurity and reliability in high-assurance systems.
Mina Soltani Siapoush, Jim Alves-Foss
doaj   +1 more source

Pazopanib Combined With Vincristine and Irinotecan in Relapsed Wilms Tumor: Encouraging Outcomes in a Heavily Pretreated Pediatric Cohort

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background While Wilms tumor (WT) typically has a favorable prognosis, relapsed cases—especially those with high‐risk histology—remain therapeutically challenging after intensive frontline therapy. The combination of vincristine and irinotecan has demonstrated activity in pediatric solid tumors, and pazopanib, a multi‐targeted tyrosine kinase ...
Maria Debora De Pasquale, Alessandro Crocoli, Giuseppe Maria Milano, Pierluigi Di Paolo, Francesca Diomedi Camassei, Ida Russo, Annalisa Serra   +6 more
wiley   +1 more source

Psychosocial Outcomes in Patients With Endocrine Tumor Syndromes: A Systematic Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction The combination of disease manifestations, the familial burden, and varying penetrance of endocrine tumor syndromes (ETSs) is unique. This review aimed to portray and summarize available data on psychosocial outcomes in patients with ETSs and explore gaps and opportunities for future research and care.
Daniël Zwerus, Floortje Strobbe, Annemarie A. Verrijn Stuart, Hanneke M. van Santen, Gerlof D. Valk, Sasja A. Schepers, Rachel S. van Leeuwaarde   +6 more
wiley   +1 more source

The Age-of-Information Distribution in Slotted ALOHA

IEEE Access
Age-of-Information (AoI) is a new performance metric for critical networked cyber-physical systems (CPS), where performance depends on how quickly fresh data is received in update packets.
Dieter Fiems, Alexey Vinel
doaj   +1 more source