5128 search results - page 253 / 1026 » When Abstraction Fails |
221
click to vote
PET
2005
Springer
16 years 24 days ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...
210
click to vote
PODC
2004
ACM
16 years 22 days ago
2004
ACM
Abstract With n servers that independently fail with probability of p < 0.5, it is well known that the majority quorum system achieves the best availability among all quorum sys...
173
click to vote
AISC
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
225
click to vote
BIRTHDAY
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
151
click to vote
ECAI
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...