12774 search results - page 82 / 2555 » A Framework for Proof Systems |
ENTCS
2006
13 years 9 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Intrusion detection is an important part of networkedsystems security protection. Although commercial products exist, finding intrusions has proven to be a difficult task with l...
ENTCS
2000
13 years 8 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
COCO
2009
Springer
14 years 3 months ago
2009
Springer
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we investigate a model of a combinatorial, procurement multi-attribute auction, in which each sales item is defined by several attributes called quality, the buyer...