In this paper we discuss and demonstrate how traditional literature reviews may be enriched by computer-assisted research profiling. Research profiling makes use of sophisticated ...
Johanna Bragge, Sami Relander, Anne Sunikka, Petri...
In this paper, we present and describe VanetMobiSim, a generator of realistic vehicular movement traces for telecommunication networks simulators. VanetMobiSim mobility descriptio...
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
This work examines electrical damping as a means for improving haptic display performance. Specifically, electrical damping, like its mechanical counterpart, can significantly red...
Joshua Mehling, J. Edward Colgate, Michael A. Pesh...
The structural details of a firm’s business processes are traditionally inaccessible to entities outside the firm. However, as firms move towards tighter coordination of process...