2687 search results - page 467 / 538 » Formal Analysis of PKCS |
162
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
166
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
197
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
177
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
218
click to vote
DILS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...