Different aspects of bone surgery simulation has been a popular topic in haptics research field. This demonstration paper has two major results: a Free and Open Source Software (...
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
This paper describes two steps in the evolution of human-robot interaction designs developed by the University of Massachusetts Lowell (UML) and the Idaho National Laboratory (INL...
Holly A. Yanco, Brenden Keyes, Jill L. Drury, Curt...
The design of usable yet secure systems raises crucial questions when it comes to balancing properly security and usability. Finding the right tradeoff between these two quality at...
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...