Sciweavers

38 search results - page 5 / 8
» gi 2001
Sort
View
63
Voted
GI
2001
Springer
15 years 2 months ago
Transaction Synchronization for XML Data in Client-Server Web Applications
: Whenever database centered client-server web applications have to be used by multiple web clients on different platforms, then recently XML has been considered as an important da...
Stefan Böttcher, Adelhard Türling
GI
2001
Springer
15 years 2 months ago
Testing Distributed Component Based Systems Using UML/OCL
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...
Achim D. Brucker, Burkhart Wolff
GI
2001
Springer
15 years 2 months ago
A Simple Key Distribution Method for IEEE 802.11 Encryption Keys
This article proposes a simple key management protocol for the distribution of shared session keys in IEEE 802.11 wireless LANs. For this purpose an individual key for each user i...
Günter Schäfer, Michael Eyrich
GI
2001
Springer
15 years 2 months ago
Enhancing Synchronous Distance Education with Pervasive Devices
Abstract. In this paper we present a system that enhances typical synchronous teleteaching environments. The key idea is to compensate the lack of social awareness and interactivit...
Martin Mauve, Nicolai Scheele, Werner Geyer
GI
2001
Springer
15 years 2 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...