7623 search results - page 428 / 1525 » Constructive Volume Modeling |
223
Voted
ISSRE
2008
IEEE
16 years 2 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
214
Voted
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
200
Voted
EDUTAINMENT
2007
Springer
16 years 1 months ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
171
Voted
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we discuss variational data assimilation using the STEM atmospheric Chemical Transport Model. STEM is a multiscale model and can perform air quality simulations and p...
169
Voted
IH
2007
Springer
16 years 1 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...