790 search results - page 19 / 158 » Abstract modeling for engineering and engagement level simul... |
192
click to vote
VAMOS
2010
Springer
15 years 7 months ago
2010
Springer
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
140
click to vote
PADS
2004
ACM
15 years 11 months ago
2004
ACM
An important question for network simulation is what level of detail is required to obtain a desired level of accuracy. While in some networks, the level of detail is an open rese...
156
click to vote
QEST
2009
IEEE
16 years 27 days ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
158
click to vote
FOSSACS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
182
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...