2137 search results - page 130 / 428 » Proving Abstract Non-interference |
CG
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
107
click to vote
CIA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Agents may choose to ignore contract violations if the costs of enforcing the contract exceed the compensation they would receive. In this paper we provide an argumentati...
109
click to vote
CIE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We prove that the homomorphic quasiorder of finite k-labeled forests has undecidable elementary theory for k 3, in contrast to the known decidability result for k = 2. W...
133
click to vote
CISC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A public-key cryptosystem is usually used for key management, in particular to session key management. The paper presents a method for handling a batch of concurrent keys...
108
click to vote
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...