10633 search results - page 1470 / 2127 » Relating Distributed Objects |
188
click to vote
COOP
2004
15 years 7 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
188
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
175
click to vote
IJCAI
2001
15 years 7 months ago
2001
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
169
click to vote
ECIS
2003
15 years 7 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
160
click to vote
USITS
2001
15 years 7 months ago
2001
This paper presents a set of techniques for providing fine-grained failover of long-running connections across a distributed collection of replica servers, and is especially usefu...