19 search results - page 3 / 4 » Selecting a Model Interchange Format: The SPOOL Case Study |
WSC
1998
13 years 7 months ago
1998
In this paper, we discuss the critical role of simulation input modeling in a successful simulation study. Two pitfalls in simulation input modeling are then presented and we expl...
DRR
2008
13 years 7 months ago
2008
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
SEFM
2005
IEEE
13 years 11 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
IPM
2006
13 years 5 months ago
2006
A bibliography is traditionally characterized by the judgments, bounded by explicit selection criteria, made by a single compiler. Because these criteria concern the attributes as...