Sciweavers

77 search results - page 8 / 16
» dagstuhl 2004
Sort
View
DAGSTUHL
2004
14 years 11 months ago
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources
Abstract. When exploring online resources, users often make many separate retrievals
Aran Lunzer
DAGSTUHL
2004
14 years 11 months ago
Optimized XML Data Management for Mobile Transactions
This paper summarizes the research issues in the area of XML data management and mobile transactions performed at the University of Paderborn. We shortly describe the problems wor...
Stefan Böttcher
DAGSTUHL
2004
14 years 11 months ago
Graph Transformation in a Nutshell
Even sophisticated techniques start out from simple ideas. Later, in reply to application needs or theoretical problems new concepts are introduced and new formalisations proposed...
Reiko Heckel
DAGSTUHL
2004
14 years 11 months ago
Numerical Approximation of Parabolic Stochastic Partial Differential Equations
The topic of the talk were the time approximation of quasi linear stochastic partial differential equations of parabolic type. The framework were in the setting of stochastic evolu...
Erika Hausenblas
DAGSTUHL
2004
14 years 11 months ago
Making Specifications Complete Through Models
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
Bernd Schoeller, Tobias Widmer, Bertrand Meyer