12774 search results - page 227 / 2555 » A Framework for Proof Systems |
193
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
176
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Active applications can add value to communication. Yet it involves sophisticated domain knowledge and complex development process. In this paper we discuss a framework for the co...
171
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
196
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
168
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Personalized database systems give users answers tailored to their personal preferences. While numerous preference evaluation methods for databases have been proposed (e.g., skylin...