4047 search results - page 412 / 810 » Some Properties and Some Problems on Set Functors |
163
Voted
LPNMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
187
click to vote
EUROCRYPT
2005
Springer
16 years 8 days ago
2005
Springer
We introduce a new type of Identity-Based Encryption (IBE) scheme that we call Fuzzy Identity-Based Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. ...
168
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
167
click to vote
DEXA
2004
Springer
16 years 4 days ago
2004
Springer
Reasoning in legal and social domains appears not to be well dealt with by deductive approaches. This is because such reasoning is open-endedly defeasible, and because the various ...
163
click to vote
ISPA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In mobile ad hoc networks (MANETs), networks can be partitioned into clusters. Clustering algorithms are localized algorithms that have the property of creating an upper ...