Sciweavers

1384 search results - page 183 / 277
» Protocol Models of Human-Computer Interaction
Sort
View
97
Voted
CORR
2007
Springer
138views Education» more  CORR 2007»
15 years 1 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
132
Voted
HAPTICS
2005
IEEE
15 years 7 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
127
Voted
HAPTICS
2010
IEEE
15 years 6 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...
126
Voted
ESORICS
2002
Springer
16 years 1 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
103
Voted
PERCOM
2006
ACM
16 years 1 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