13383 search results - page 310 / 2677 » Abstractions from proofs |
201
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
175
Voted
MKM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
176
click to vote
SACRYPT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The XCB mode of operation was outlined in 2004 as a contribution to the IEEE Security in Storage effort, but no security analysis was provided. In this paper, we provide...
157
click to vote
CTRSA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In the last few years we have concentrated our research efforts on new threats to the computing infrastructure that are the result of combining malicious software (malwar...
159
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...