Sciweavers

1384 search results - page 198 / 277
» Protocol Models of Human-Computer Interaction
Sort
View
HAPTICS
2006
IEEE
15 years 4 months ago
Assessing the Fidelity of Haptically Rendered Deformable Objects
A central element of surgical simulators is the generation of appropriate haptic feedback. Several factors influence this rendering process, which could potentially degrade the f...
Peter Leiskovsk, Matthias Harders, Gábor Sz...
OZCHI
2006
ACM
15 years 3 months ago
Applying reach in direct manipulation user interfaces
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...
Aaron Toney, Bruce H. Thomas
DSVIS
1998
Springer
15 years 2 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
CRYPTO
2000
Springer
182views Cryptology» more  CRYPTO 2000»
15 years 2 months ago
A Note on the Round-Complexity of Concurrent Zero-Knowledge
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
Alon Rosen
BIOWIRE
2007
Springer
15 years 1 months ago
An Artificial Chemistry for Networking
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
Thomas Meyer, Lidia Yamamoto, Christian F. Tschudi...