7918 search results - page 446 / 1584 » Model Composition Directives |
194
click to vote
SPIN
2004
Springer
16 years 5 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...
137
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...
171
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...
164
Voted
ACRI
2006
Springer
16 years 25 days 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...
189
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...