Sciweavers

13593 search results - page 469 / 2719
» Performance Analysis of MD5
Sort
View
NORDSEC
2009
Springer
15 years 11 months ago
Formal Analysis of the Estonian Mobile-ID Protocol
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
Peeter Laud, Meelis Roos
ICRA
2000
IEEE
94views Robotics» more  ICRA 2000»
15 years 11 months ago
Structural Design and Analysis of a New Semi-Direct Drive Robot Arm: Theory and Experiment
This paper reports the mechanical design, structural analysis, and experimental veri cation of a new high performance semi-direct drive robot arm. A design optimization methodolog...
Jaydeep Roy, Randal P. Goldberg, Louis L. Whitcomb
INFOCOM
1999
IEEE
15 years 11 months ago
Analysis and Comparison of TCP Reno and Vegas
We propose some improvements of TCP Vegas and compare its performance characteristics in comparison with TCP Reno. We demonstrate through analysis that TCP Vegas, with its better ...
Jeonghoon Mo, Richard J. La, Venkat Anantharam, Je...
ICANN
1997
Springer
15 years 11 months ago
Kernel Principal Component Analysis
A new method for performing a nonlinear form of Principal Component Analysis is proposed. By the use of integral operator kernel functions, one can e ciently compute principal comp...
Bernhard Schölkopf, Alex J. Smola, Klaus-Robe...
CHARME
1993
Springer
68views Hardware» more  CHARME 1993»
15 years 11 months ago
Temporal Analysis of Time Bounded Digital Systems
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
Alan R. Martello, Steven P. Levitan