13181 search results - page 337 / 2637 » Design and Implementation of Cohesion |
220
click to vote
MEMOCODE
2003
IEEE
16 years 1 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
154
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
151
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Cobots are capable of producing virtual surfaces of high quality, using mechanical transmission elements as their basic element in place of conventional motors. Most cobots built ...
201
Voted
PKC
1998
Springer
15 years 11 months ago
1998
Springer
The concept of public-key cryptography was invented in 1976 by Diffie and Hellman [DH]. The following year, Rivest, Shamir and Adleman provided an implementation of this idea [RSA]...
169
click to vote
AC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper examines proposals for three cryptographic primitives: block ciphers, stream ciphers, and hash functions. It provides an overview of the design principles of a...