Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
For millions of people in less resourced regions of the world, text messages (SMS) provide the only regular contact with their doctor. Classifying messages by medical labels suppo...
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
In this paper, we propose a novel postprocessing approach for on-line handwriting recognition. Differing from the existing linguistic knowledge-based methods, we make use of domai...