Abstract. The apparent mass of haptic device end-effector depends on its position inside the workspace. This paper presents a recursive algorithm to detect effective direction of g...
Alessandro Formaglio, Marco Fei, Sara Mulatto, Mau...
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
This paper presents the design of an architecture for narrative games with story-puzzles like classic graphic adventures. The system is able to create new short stories in each se...
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...