2317 search results - page 275 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
116
click to vote
ICAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Providing haptic cues can generate increased levels of presence in users as they interact with tangible objects. In this paper, we present button effects delivered by air-jet displ...
123
click to vote
COORDINATION
2010
Springer
15 years 7 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
143
Voted
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
145
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
137
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...