1268 search results - page 81 / 254 » Direct Translation Model 2 |
126
click to vote
PRDC
2006
IEEE
15 years 8 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...
117
click to vote
ICPPW
2002
IEEE
15 years 7 months 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...
106
click to vote
ISIPTA
2003
IEEE
15 years 7 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...
119
Voted
QEST
2007
IEEE
15 years 8 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 ...
130
click to vote
FSEN
2009
Springer
15 years 6 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...