4957 search results - page 729 / 992 » Simplifying Distributed System Development |
147
click to vote
ADVIS
2000
Springer
15 years 8 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
138
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...
115
click to vote
UIST
1996
ACM
15 years 8 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
132
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
161
Voted
BIOWIRE
2007
Springer
15 years 8 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...