488 search results - page 46 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
139
Voted
WSC
2000
15 years 4 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
142
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
184
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
164
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
107
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
The aim of this study is to design a controller based on model predictive control (MPC) theory to smooth wind power generation along with the controlled storage of the wind energy ...