Sciweavers

2715 search results - page 294 / 543
» Database Publication Practices
Sort
View
ICRA
1999
IEEE
183views Robotics» more  ICRA 1999»
15 years 11 months ago
Spontaneous, Short-Term Interaction with Mobile Robots
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...
Jamieson Schulte, Charles R. Rosenberg, Sebastian ...
CADE
1998
Springer
15 years 10 months ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
SACRYPT
1998
Springer
257views Cryptology» more  SACRYPT 1998»
15 years 10 months ago
Cryptanalysis of RC4-like Ciphers
Abstract. RC4, a stream cipher designed by Rivest for RSA Data Security Inc., has found several commercial applications, but little public analysis has been done to date. In this p...
Serge Mister, Stafford E. Tavares
FC
2010
Springer
196views Cryptology» more  FC 2010»
15 years 10 months ago
Modulo Reduction for Paillier Encryptions and Application to Secure Statistical Analysis
Abstract. For the homomorphic Paillier cryptosystem we construct a protocol for secure modulo reduction, that on input of an encryption x with x of bit length x and a public ‘mod...
Jorge Guajardo, Bart Mennink, Berry Schoenmakers
BROADNETS
2004
IEEE
15 years 10 months ago
Handheld Routers: Intelligent Bandwidth Aggregation for Mobile Collaborative Communities
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...
Puneet Sharma, Sung-Ju Lee, Jack Brassil, Kang G. ...