4460 search results - page 451 / 892 » Formal methods for interactive systems |
184
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
186
click to vote
WSCG
2004
15 years 8 months ago
2004
In this paper we show how to incorporate effects of wind fields in cloth animations. We discuss two different approaches to model force fields describing air motion and show how t...
183
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
164
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
141
click to vote
AIL
2007
15 years 7 months ago
2007
One of the major problems in the implementation of the precautionary principle in environmental cases is the estimation of the weight of evidence. In this paper we propose a forma...