3828 search results - page 43 / 766 » Proof-Based System Engineering Using a Virtual System Model |
SPLC
2008
15 years 3 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...
111
click to vote
WETICE
1997
IEEE
15 years 6 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 ...
108
click to vote
NPC
2004
Springer
15 years 7 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...
127
click to vote
UIST
2010
ACM
15 years 2 days 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...
119
click to vote
AFRIGRAPH
2001
ACM
15 years 5 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...