Sciweavers

3458 search results - page 582 / 692
» Abstracting Control
Sort
View
JAR
2006
101views more  JAR 2006»
13 years 10 months ago
Checking Consistency and Completeness of On-Line Product Manuals
Abstract. As products are growing more complex, so is their documentation. With an increasing number of product options, the diversity in service and maintenance procedures grows a...
Carsten Sinz, Wolfgang Küchlin, Dieter Feicht...
JCP
2006
104views more  JCP 2006»
13 years 10 months ago
Symmetric Active/Active High Availability for High-Performance Computing System Services
Abstract-- This work aims to pave the way for high availability in high-performance computing (HPC) by focusing on efficient redundancy strategies for head and service nodes. These...
Christian Engelmann, Stephen L. Scott, Chokchai Le...
JUCS
2008
134views more  JUCS 2008»
13 years 10 months ago
Gaze-based Interaction for Virtual Environments
Abstract We present an alternative interface that allows users to perceive new sensations in virtual environments. Gaze-based interaction in virtual environments creates the feelin...
Jorge Jimenez, Diego Gutierrez, Pedro Latorre
ENTCS
2007
101views more  ENTCS 2007»
13 years 10 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
JSAC
2006
93views more  JSAC 2006»
13 years 10 months ago
Performance Enhancement of On-Board Communication Networks Using Outage Prediction
Abstract--A research area that has become increasingly important in recent years is that of on-board mobile communication, where users on a vehicle are connected to a local network...
Adeel Baig, Lavy Libman, Mahbub Hassan