GI
2001
Springer
14 years 4 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
14 years 4 months ago
2001
Springer
![[VR]Instrument - Das virtuelle Piano](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "[VR]Instrument - Das virtuelle Piano")
GI
2001
Springer
14 years 4 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...
GI
2001
Springer
14 years 4 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
14 years 4 months ago
2001
Springer
GI
2001
Springer
14 years 4 months ago
2001
Springer
GI
2001
Springer
14 years 4 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...
GI
2001
Springer
14 years 4 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
14 years 4 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
14 years 4 months ago
2001
Springer
