38 search results - page 4 / 8 » gi 2001 |
GI
2001
Springer
15 years 2 months ago
2001
Springer
Abstract: Information overflow is one of the greatest challenges for information focused professions today. This paper presents the Personal Information Agent, an agent based info...
77
Voted
GI
2001
Springer
15 years 2 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
GI
2001
Springer
15 years 2 months ago
2001
Springer
Security mechanisms such as firewalls commonly deployed throughout the Internet present serious obstacles to basic usage of Mobile IP. In this paper we describe how IP security me...
60
Voted
GI
2001
Springer
15 years 2 months ago
2001
Springer
: Studierstube is an operating system for applications in virtual reality. It supports multiple users collaborating in a distributed system. While initially developed for scientifi...
GI
2001
Springer
15 years 2 months ago
2001
Springer
In e-commerce, the protection of user privacy from a server was not considered feasible until the private information retrieval (PIR) problem was stated recently. A PIR protocol a...