125
Voted
GI
2001
Springer
15 years 10 months ago
2001
Springer
: The paper describes a mobile application for traffic telematics, based on the Jini middleware. The application is realized as a set of user-level services, characterized by follo...
GI
2001
Springer
15 years 10 months ago
2001
Springer
![[VR]Instrument - Das virtuelle Piano](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "[VR]Instrument - Das virtuelle Piano")
159
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract: This paper introduces a new method for optimally provisioning and pricing differentiated services, that maximizes profit and maintains a small blocking probability. Reso...
130
click to vote
GI
2001
Springer
15 years 10 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 10 months ago
2001
Springer
GI
2001
Springer
15 years 10 months ago
2001
Springer
143
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
: The paper describes an architecture allowing Mobile IP hosts to access to a virtual private network that is protected by a firewall from the public Internet. The implementation b...
148
click to vote
GI
2001
Springer
15 years 10 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...
147
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
GI
2001
Springer
15 years 10 months ago
2001
Springer
