In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
In a Multiple User Interfaces (MUI) context, several models must be defined and adapted (tasks, user, .). Abstract models are progressively enriched in concrete models using patte...
In this paper we present the results of a simulation study to explore the ability of Bayesian parametric and nonparametric models to provide an adequate fit to count data, of the t...
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...