A recent model for testing systems with multiple timers is extended to compute proper input delays and timeout settings, and is applied to several types of timers required in a testing procedure. In the model, any transition in the specification can be made conditional on a set of running timers. Depending on the path taken to reach an edge, the values of the timer variables may render the trav...

zygophyllum atriplicoides is one of the important species of iran rangelands that has special importance owing to some properties like high distribution rate, coverage percentage, density, and plant biomass that make it possible to supply a part of forage needed by livestock during spring and winter as well as to avoid soil degradation against water and wind erosions. this research tries to stu...

To assess coverage rates of standard childhood vaccinations in Greenland, a geographically isolated and sparsely populated area, and to determine risk factors for low coverage, we performed a register-based cohort study among 596 children from 1993 to 1998 in Sisimiut, Greenland. For vaccines given before the age of 2 years (pertussis 1-3, DT-IPV 1-3, and MMR 1) coverage rates in general were i...

INTRODUCTION Leadership is a key factor in the success of HIV prevention and treatment. Positive HIV-related outcomes are also affected by funding levels for HIV, health sector resources, disease burden and the socio-economic environment. Leadership on HIV as well as these other factors are affected by the quality of political governance of the country, which may be an overarching factor that i...

We develop a randomized approximation algorithm for the classical maximum coverage problem, which given a list of sets A1, A2, · · · , An and integer parameter k, select k sets Ai 1 , Ai 2 , · · · , Ai k for maximum union Ai 1 ∪ Ai 2 ∪ · · · ∪ Ai k. In our algorithm, each input set Ai is a black box that can provide its size |Ai|, generate a random element of Ai, and answer the membership query...

Adequacy criteria provide an objective measurement of test quality. Although these criteria are a major research issue in software testing, little work has been specifically targeted towards the testing of database-driven applications. In this paper, two structural coverage criteria are provided for evaluating the adequacy of a test suite for SQL queries that retrieve information from the datab...