1268 search results - page 81 / 254 » Direct Translation Model 2 |
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
ICPPW
2002
IEEE
14 years 26 days ago
2002
IEEE
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...
ISIPTA
2003
IEEE
14 years 1 months ago
2003
IEEE
We extend Buja’s concept of “pseudo-capacities”, which comprises the neighbourhood models for classical probabilities commonly used in robust statistics. Although systematic...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...