2036 search results - page 337 / 408 » A generic type-and-effect system |
120
click to vote
FSE
1997
Springer
15 years 4 months ago
1997
Springer
We propose secret-key cryptosystems MISTY1 and MISTY2, which are block ciphers with a 128-bit key, a 64-bit block and a variable number of rounds. MISTY is a generic name for MISTY...
101
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
114
Voted
PLILP
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
117
Voted
SIGGRAPH
1989
ACM
15 years 4 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...
110
Voted
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...