8874 search results - page 264 / 1775 » A New Implementation of Automath |
190
click to vote
IMA
1997
Springer
15 years 10 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
166
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents a new velocity blending approach to the problem of task space trajectory generation. To compare this technique with others, a generalized formulation for task ...
218
click to vote
PLSA
1994
15 years 10 months ago
1994
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
162
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...
196
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for eva...