3081 search results - page 592 / 617 » A Formal Ontology of Properties |
ACISP
2009
Springer
15 years 6 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
AMMA
2009
Springer
15 years 6 months ago
2009
Springer
I study school assignment problems, focusing on two popular mechanisms: the Boston Mechanism (BM) and Deferred Acceptance (DA). The former has been criticized regarding both e¢ c...
WDAG
2009
Springer
15 years 6 months ago
2009
Springer
Virtual Ring Routing (VRR) schemes were introduced in the context of wireless ad hoc networks and Internet anycast overlays. They build a network-routing layer using ideas from dis...
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
125
click to vote
ICCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...