2137 search results - page 123 / 428 » Proving Abstract Non-interference |
91
Voted
GI
2001
Springer
15 years 7 months ago
2001
Springer
Abstract: Information overflow is one of the greatest challenges for information focused professions today. This paper presents the Personal Information Agent, an agent based info...
82
Voted
IMA
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The key agreement protocol are either based on some computational infeasability, such as the calculus of the discrete logarithm in [1], or on theoretical impossibility un...
115
click to vote
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
103
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...
117
Voted
AAIM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present new kernelization results for the s-cycle transversal problem for s > 3. In particular, we show a 6k2 kernel for 4-cycle transversal and a O(ks−1 ) kernel...