12774 search results - page 82 / 2555 » A Framework for Proof Systems |
130
Voted
ENTCS
2006
15 years 3 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...
114
click to vote
ACSAC
2003
IEEE
15 years 9 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...
121
Voted
ENTCS
2000
15 years 3 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
119
Voted
COCO
2009
Springer
15 years 10 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...
110
click to vote
ATAL
2004
Springer
15 years 9 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...