1115 search results - page 132 / 223 » An Abstract Look at Realizability |
148
click to vote
EIT
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
153
click to vote
ESORICS
2008
Springer
15 years 6 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 ...
122
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce domain-restricted RDF (dRDF) which allows to associate an RDF graph with a fixed, finite domain that interpretations for it may range over. We show that dRDF...
129
click to vote
COMMA
2008
15 years 5 months ago
2008
Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...
151
click to vote
LREC
2010
15 years 5 months ago
2010
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...