790 search results - page 61 / 158 » Abstract modeling for engineering and engagement level simul... |
169
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
169
click to vote
ICS
2003
Tsinghua U.
2003
Tsinghua U.
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
15 years 11 months ago
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
144
click to vote
MODELS
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
137
click to vote
MSWIM
2005
ACM
15 years 12 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
180
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...