1451 search results - page 152 / 291 » Case Studies in Model Manipulation for Scientific Computing |
190
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
151
click to vote
FMSD
2006
15 years 6 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
194
click to vote
TSE
2010
15 years 1 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
196
click to vote
ISCC
2008
IEEE
16 years 24 days ago
2008
IEEE
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
186
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...