3828 search results - page 43 / 766 » Proof-Based System Engineering Using a Virtual System Model |
145
click to vote
SPLC
2008
15 years 7 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
148
click to vote
WETICE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...
157
click to vote
NPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A fault tolerant parallel virtual file system is designed and implemented to provide high I/O performance and high reliability. A queuing model is used to analyze in deta...
171
click to vote
UIST
2010
ACM
15 years 3 months ago
2010
ACM
Haptic feedback provides an additional interaction channel when auditory and visual feedback may not be appropriate. We present a novel haptic feedback system that changes its ela...
164
click to vote
AFRIGRAPH
2001
ACM
15 years 9 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...