The process by which outpatients are scheduled for a doctor's visit is a crucial determinant of the overall efficiency of the patient flow. The problem at hand consists of de...
One of the obstacles that hinder database trigger systems from their wide deployment is the lack of tools that aid users in creating trigger rules. Similar to understanding and spe...
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
Mark Aufenanger, Wilhelm Dangelmaier, Christoph La...
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...