: Developing a speech-based application for mobile devices requires work upfront, since mobile devices and speech recognition systems vary dramatically in their capabilities. While...
Werner Kurschl, Stefan Mitsch, Rene Prokop, Johann...
Facility layouts of existing or proposed production systems often form the basis of a dynamic simulation study to prove the design concept and to determine if the required through...
Abstract Architectural patterns are often combined with other, relevant architectural patterns during software architecture design. However, combining patterns effectively remains ...
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...