Sciweavers

3061 search results - page 391 / 613
» interactions 2010
Sort
View
IEEECIT
2010
IEEE
15 years 5 months ago
Predicting Events for the Simulation of Hybrid Systems
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
Kerstin Bauer, Klaus Schneider
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
ISOLA
2010
Springer
15 years 5 months ago
A Theory of Mediators for Eternal Connectors
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
Paola Inverardi, Valérie Issarny, Romina Sp...
ISVC
2010
Springer
15 years 5 months ago
Low Cost VR Meets Low Cost Multi-touch
This paper presents the design, implementation, and lessons learned from developing a multi-surface VR visualization environment. The environment combines a head-tracked vertical V...
Dane M. Coffey, Fedor Korsakov, Daniel F. Keefe
ISVC
2010
Springer
15 years 5 months ago
A Framework for Visual and Haptic Collaboration in Shared Virtual Spaces
We propose a framework for visual and haptic collaboration in X3D/VRML shared virtual spaces. In this collaborative framework, two pipelines—visual and haptic—complement each o...
Lei Wei, Alexei Sourin, Herbert Stocker