![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Methoden zur Differenzierten Bewirtschaftung bei Sortenfertigung
Bei der Sortenfertigung wird in der Regel auf Lager gefertigt, um Kundenwünsche möglichst schnell befriedigen zu können. Die meist sehr hohen Lagerbestände, die durch die geforderte Lieferbereitschaft, den sch...
-
Chapter and Conference Paper
Matching convex shapes with respect to the symmetric difference
This paper deals with questions from convex geometry related to shape matching. In particular, we consider the problem of matching convex figures minimizing the area of the symmetric difference. The main theor...
-
Chapter and Conference Paper
Strongly Typed Server Pages
We present NSP, a new, statically typed server pages technology. NSP supports arrays and user defined types within input forms. It is the result of designing server pages from scratch. It addresses the needs o...
-
Chapter and Conference Paper
Improving the Web Presentation Layer Architecture
In this paper we provide a discussion of the Model 2 architecture for web interface programming. We show how the main purpose of Model 2, namely separation of concerns, can be achieved solely by functional dec...
-
Chapter and Conference Paper
Modeling Submit/Response Style Systems with Form Charts and Dialogue Constraints
Form-Oriented Analysis is an approach tailored to the modeling of systems with form-based, submit/response style interfaces, a distinct and ubiquitous class of software systems. Form-Oriented Analysis models t...
-
Chapter and Conference Paper
Specification and Generation of Model 2 Web Interfaces
We describe the language and tool Angie for the type-safe specification of Web presentation layers and the subsequent generation of an executable interface prototype. A textual description of a Web based dialo...
-
Chapter and Conference Paper
Co-knowledge Acquisition of Software Organizations and Academia
In this workshop contribution we discuss general conditions for a lightweight approach to collaborative learning of software engineering organizations and academia. Knowledge acquisition is a cornerstone in bo...
-
Chapter and Conference Paper
Integrated Model-Based Software Development, Data Access, and Data Migration
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, classical simultaneous roundtrip...
-
Chapter and Conference Paper
A Type System for Reflective Program Generators
In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. This mechanism makes many code generation ...
-
Chapter and Conference Paper
Conceptual Modeling for Emerging Web Application Technologies
What are the concepts behind state-of-the-art web application frameworks like Websphere on the commercial side or Struts on the open source side? What are the concepts behind emerging formats and technologies ...
-
Chapter and Conference Paper
Finite State History Modeling and Its Precise UML-Based Semantics
This paper discusses the notion of a state history diagram. The concept is directly motivated by a new analysis technique, form-oriented analysis, which is tailored to an important class of interactive systems...
-
Chapter and Conference Paper
A Spreadsheet Client for Web Applications
There is an increasing gap between web services and web applications. While web services communicate via typed interfaces (e.g., using WSDL and SOAP), many web applications still rely on untyped, manually prog...
-
Chapter and Conference Paper
Identity Transposon Networks in D. melanogaster
Transposable elements, or transposons, are DNA segments that are repeated within the same genome and are an important component of the genomes of most species. It is generally believed that they play an import...
-
Chapter and Conference Paper
Comparing Global Optimization and Default Settings of Stream-Based Joins
One problem encountered in real-time data integration is the join of a continuous incoming data stream with a disk-based relation. In this paper we investigate a stream-based join algorithm, called mesh join (...
-
Chapter and Conference Paper
X-HYBRIDJOIN for Near-Real-Time Data Warehousing
In order to make timely and effective decisions, businesses need the latest information from data warehouse repositories. To keep these repositories up-to-date with respect to end user updates, near-real-time ...
-
Chapter and Conference Paper
Efficient Usage of Memory Resources in Near-Real-Time Data Warehousing
In the context of near-real-time data warehousing the user’s updates generated at data source level need to be stored into warehouse as soon as they occur. Before loading these updates into the warehouse they ...
-
Chapter and Conference Paper
A Parametric Analysis of Stream Based Joins
Online stream processing is an emerging research area in the field of computer science. Common examples where online stream processing is important are network traffic monitoring, web log analysis and real-tim...
-
Chapter and Conference Paper
A Lightweight Stream-Based Join with Limited Resource Consumption
Many stream-based applications have plenty of resources available to them, but there are also applications where resource consumption must be limited. For one important class of stream-based joins, where a str...
-
Chapter and Conference Paper
Form-and-Fact Based Modeling
A conceptual data model for an information system specifies the fact structures of interest as well as the constraints and derivation rules that apply to the business domain being modeled. Fact-based modeling ...
-
Chapter and Conference Paper
SSCJ: A Semi-Stream Cache Join Using a Front-Stage Cache Module
Semi-stream processing has become an emerging area of research in the field of data stream management. One common operation in semi-stream processing is joining a stream with disk-based master data using a joi...