1703 search results - page 179 / 341 » Model interoperability via Model Driven Development |
177
Voted
WSC
2000
15 years 7 months ago
2000
This paper is focused on estimating the quality of the sample mean from a steady-state simulation experiment with consideration of computational efficiency, memory requirement, an...
135
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
For the random 2-SAT formula F(n, p), let FC(n, p) be the formula left after the pure literal algorithm applied to F(n, p) stops. Using the recently developed Poisson cloning model...
151
Voted
SIAMDM
2000
15 years 5 months ago
2000
We present a mathematical model for network routing based on generating paths in a consistent direction. Our development is based on an algebraic and geometric framework for defini...
239
Voted
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Where does the sparsity in image signals come from? Local and nonlocal image models have supplied complementary views toward the regularity in natural images the former attempts t...
188
Voted
JUCS
2010
15 years 28 days ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...