Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
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...
The World Wide Web, due to its sheer size and dynamics, has turned into one of the most fascinating and important data sources for large-scale analysis and investigation, ranging ...
Andreas Rauber, Oliver Witvoet, Andreas Aschenbren...
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...