Sciweavers

1384 search results - page 183 / 277
» Protocol Models of Human-Computer Interaction
Sort
View
CORR
2007
Springer
138views Education» more  CORR 2007»
14 years 10 months ago
On the Performance Evaluation of Encounter-based Worm Interactions Based on Node Characteristics
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
Sapon Tanachaiwiwat, Ahmed Helmy
HAPTICS
2005
IEEE
15 years 3 months ago
A Fracture Mechanics Approach to Haptic Synthesis of Tissue Cutting with Scissors
An analytical model for cutting of a plate of material with a pair of scissors is presented in terms of concepts of contact and fracture mechanics. The forces of contact between t...
Mohsen Mahvash, Allison M. Okamura
HAPTICS
2010
IEEE
15 years 2 months ago
Preliminary Experiment Combining Virtual Reality Haptic Shoes and Audio Synthesis
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...
Rolf Nordahl, Amir Berrezag, Smilen Dimitrov, Luca...
ESORICS
2002
Springer
15 years 9 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
PERCOM
2006
ACM
15 years 9 months ago
On the Fly Service Composition for Local Interaction Environments
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
Hossein Pourreza, Peter Graham