Results 61 to 70 of about 5,521,647 (293)
Modelling migration futures: development and testing of the rainfalls agent-based migration model – Tanzania [PDF]
, 2014 This paper describes the conceptual and practical development and testing of the Rainfalls Agent-Based Migration Model – Tanzania (RABMM-T). Drawing upon the literature on the process of developing and parameterizing a social simulation in the absence of
Smith, Christopher D
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background and Aims Wilms tumour (WT) has excellent event‐free and overall survival (OS). However, small differences exist between countries participating in the same international study. This led us to examine variation in adherence to protocol recommendations as a potential contributing factor.
Suzanne Tugnait +23 more
wiley +1 more source
Atomic Action Refinement in Model Based Testing [PDF]
, 2007 In model based testing (MBT) test cases are derived from a specification of the system that we want to test. In general the specification is more abstract than the implementation.
Bijl, Machiel van der +2 more
core +1 more source
Testing a priority-based queue model with Linux command histories
, 2008 We study human dynamics by analyzing Linux history files. The goodness-of-fit test shows that most of the collected datasets belong to the universality class suggested in the literature by a variable-length queueing process based on priority. In order to
Albert +22 more
core +1 more source
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models [PDF]
, 2019 Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems.
Briand, Lionel C. +5 more
core +2 more sources
Combinatorial testing and model‐based testing [PDF]
Software Testing, Verification and Reliability, 2022 Robert M. Hierons, Tao Xie 0001
openaire +1 more source
A taxonomy of model‐based testing approaches [PDF]
Software Testing, Verification and Reliability, 2011 SUMMARYModel‐based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches. It is intended to help with understanding the characteristics, similarities and differences of those approaches,
Mark Utting +2 more
openaire +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Arteriovenous malformations (AVMs) are rare, high‐flow, vascular anomalies that can occur either sporadically or as part of a genetic syndrome. AVMs can progress with serious morbidity and even mortality if left unchecked. Sirolimus is an mTOR inhibitor that is effective in low‐flow vascular malformations; however, its role in AVMs is unclear.
Will Swansson +3 more
wiley +1 more source
Testing and vaccination to reduce the impact of COVID-19 in nursing homes: an agent-based approach
BMC Infectious Diseases, 2022 Background Efforts to protect residents in nursing homes involve non-pharmaceutical interventions, testing, and vaccine. We sought to quantify the effect of testing and vaccine strategies on the attack rate, length of the epidemic, and hospitalization ...
José P. Gómez Vázquez +4 more
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2005 AbstractAssembling new software systems from prefabricated components as an attractive alternative to traditional software development practices is more and more investigated. Component technologies like CCM. Net or EJB are accompanied by model-based approaches like MDA.
Hans-Gerhard Groß +2 more
openaire +1 more source