This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
John Penix, Willem Visser, Eric Engstrom, Aaron La...
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
Abstract. This contribution presents a system, which allows for a continuous monitoring of speech intelligibility from a single microphone signal. The system accounts for the detri...
Jan Rennies, Eugen Albertin, Stefan Goetze, Jens-E...
— Robots that can interact naturally with humans require the integration and coordination of many different components with heavy computational demands. We argue that an architec...
This paper describes development of a wind display system for the TreadPort virtual environment locomotion interface, which is cumulatively known as the TreadPort Active Wind Tunn...
Sandip D. Kulkarni, Charles Fisher, Eric R. Pardyj...