1033 search results - page 116 / 207 » Stop the numbers game |
118
click to vote
CSFW
1998
IEEE
15 years 6 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
Bipedal robots are di cult to analyze mathematically. However, successful control strategies can be discovered using simple physical intuition and can be described in simple terms...
112
click to vote
ICRA
1994
IEEE
15 years 5 months ago
1994
IEEE
A number of positioning identification techniques have been used for mobile robots. Dead reckoning is a popular method, but is not reliable when a robot travels long distances or ...
132
click to vote
CAV
2001
Springer
15 years 5 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
115
click to vote
IWMM
2000
Springer
15 years 5 months ago
2000
Springer
Java uses garbage collection (GC) for the automatic reclamation of computer memory no longer required by a running application. GC implementations for Java Virtual Machines (JVM) ...