2432 search results - page 320 / 487 » Cryptographic logical relations |
206
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
179
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...
170
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
208
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
180
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Computer users are asked to generate, keep secret, and recall an increasing number of passwords for uses including host accounts, email servers, e-commerce sites, and online finan...