641 search results - page 36 / 129 » Formal Reliability Analysis Using Theorem Proving |
112
click to vote
NLE
2010
15 years 23 days ago
2010
Pyramid annotation makes it possible to evaluate quantitatively and qualitatively the content of machine-generated (or human) summaries. Evaluation methods must prove themselves a...
112
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...
135
click to vote
CSFW
2011
IEEE
14 years 2 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
140
click to vote
SAFECOMP
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
109
click to vote
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...