7623 search results - page 428 / 1525 » Constructive Volume Modeling |
198
click to vote
ISSRE
2008
IEEE
16 years 1 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...
180
click to vote
CONTEXT
2007
Springer
16 years 27 days 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...
174
click to vote
EDUTAINMENT
2007
Springer
16 years 27 days 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...
149
click to vote
ICCS
2007
Springer
16 years 27 days 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...
151
click to vote
IH
2007
Springer
16 years 27 days 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...