9370 search results - page 103 / 1874 » An Abstract Notion of Application |
106
click to vote
AUSAI
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
FSE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this article, it is discussed how to construct a compression function with 2n-bit output using a component function with n-bit output. The component function is either...
85
Voted
ESAW
2000
Springer
15 years 4 months ago
2000
Springer
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
HCI
2009
14 years 10 months ago
2009
This paper aims at contributing to the evaluation of web accessibility and thus promoting design for all, considering the design process as an iterative process containing evaluati...
118
click to vote
CRYPTO
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...