7918 search results - page 446 / 1584 » Model Composition Directives |
214
click to vote
SPIN
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
151
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Prediction of respiratory motion has the potential to substantially improve cancer radiation therapy. A nonlinear finite element (FE) model of respiratory motion during full breath...
186
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
177
click to vote
ACRI
2006
Springer
16 years 1 months ago
2006
Springer
We develop two models for Myxobacteria swarming, a modified Lattice Gas Cellular Automata (LGCA) model and an off-lattice CA model. In the LGCA model each cell is represented by on...
204
click to vote
ENVSOFT
2008
15 years 7 months ago
2008
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...