: We developed a steerable interface system that can direct graphical displays to any desirable locations, can capture interactions at any desirable locations, and can track user l...
Piyawadee Noi Sukaviriya, Mark Podlaseck, Rick Kje...
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
Performance analysis of high performance systems is a difficult task. Current tools have proven successful in analysis tasks but their implementation is limited in several respects...
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...