In previous work, researchers have attempted to construct taxonomies of information visualization techniques by examining the data domains that are compatible with these technique...
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
We discuss some basic techniques for modeling dependence between the random variables that are inputs to a simulation model, with the main emphasis being continuous bivariate dist...
Sorting models consist in assigning alternatives evaluated on several criteria to ordered categories. To implement such models it is necessary to set the values of the preference p...