: A framework for virtual reality based training of puncture interventions is presented. The system uses a haptic device with six degrees of freedom (6DOF) to enable realistic forc...
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
We define sensor middleware as the binding code mainly running between the sensor OS and applications g programming abstractions to bridge the gap between application developers an...
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative ...
In this paper we present a new approach for analysis and visualization of the vibration patterns of vocal folds from high-speed digital images of the larynx. This approach is base...