2840 search results - page 358 / 568 » Distributed cooperative caching |
138
Voted
KI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
147
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
151
click to vote
IDMS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. The interoperability between heterogeneous distributed virtual environments is one of the main problem Virtual Reality will have to face in the very close future. This ar...
169
click to vote
KES
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...
144
Voted
SP
2000
IEEE
15 years 9 months ago
2000
IEEE
Delta-certificate revocation lists (delta-CRLs) were designed to provide a more efficient way to distribute certificate status information. However, as this paper shows, in some e...