Sciweavers

3938 search results - page 150 / 788
» Interactive Protocols on the Reals
Sort
View
97
Voted
CONCUR
2010
Springer
15 years 2 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
117
Voted
WISTP
2010
Springer
15 years 8 months ago
Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions
Protocols for bootstrapping security in ad hoc mobile device interactions rely on users’ ability to perform specific tasks such as transferring or comparing fingerprints of inf...
Ronald Kainda, Ivan Flechais, A. W. Roscoe
110
Voted
CSFW
2006
IEEE
15 years 7 months ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters
148
Voted
MOBICOM
2006
ACM
15 years 7 months ago
The design, deployment, and analysis of signetLab: a sensor network testbed and interactive management tool
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
Riccardo Crepaldi, Simone Friso, Albert F. Harris ...
109
Voted
FGR
1998
IEEE
116views Biometrics» more  FGR 1998»
15 years 5 months ago
A Gesture Interface for Human-Robot-Interaction
We present a person-independent gesture interface implemented on a real robot which allows the user to give simple commands ,e.g., how to grasp an object and where to put it. The ...
Jochen Triesch, Christoph von der Malsburg