Sciweavers

4098 search results - page 46 / 820
» Sound mobility models
Sort
View
NIME
2005
Springer
150views Music» more  NIME 2005»
15 years 5 months ago
Experiments with Virtual Reality Instruments
In this paper, we introduce and analyze four gesture-controlled musical instruments. We briefly discuss the test platform designed to allow for rapid experimentation of new interf...
Teemu Mäki-Patola, Aki Kanerva, Juha Laitinen...
SIMUTOOLS
2008
15 years 1 months ago
Efficient and realistic mobility and channel modeling for VANET scenarios using OMNeT++ and INET-framework
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...
Robert Nagel, Stephan Eichler
INFOCOM
1999
IEEE
15 years 4 months ago
Predictive Distance-Based Mobility Management for PCS Networks
This paper presents a mobile tracking scheme that exploits the predictability of user mobility patterns in wireless PCS networks. Instead of the constant velocity fluid-flow or the...
Ben Liang, Zygmunt J. Haas
ISCIS
2004
Springer
15 years 5 months ago
Modelling Mobility with PEPA Nets
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
Jane Hillston, Marina Ribaudo
JDCTA
2010
187views more  JDCTA 2010»
14 years 6 months ago
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
Bo Meng, Wei Huang, Zimao Li, Dejun Wang