206 search results - page 29 / 42 » Sharing in the Weak Lambda-Calculus |
134
Voted
CRYPTO
1992
Springer
15 years 4 months ago
1992
Springer
Abstract Joseph Kilian NEC Research Princeton, NJ 08540 Tom Leighton Mathematics Department Laboratory for Computer Science MIT Cambridge, MA 02139 August 17, 1994 Fair" Publ...
174
click to vote
PODC
1993
ACM
15 years 4 months ago
1993
ACM
A counting protocol (mod m) consists of shared memory bits - referred to as the counter - and of a procedure for incrementing the counter value by 1 (mod m). The procedure may be ...
108
Voted
EDUTAINMENT
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we present a virtual learning environment which supports the learning process of long term sick children. By focusing on 3D Virtual Environments technology chronical...
121
click to vote
EUROCRYPT
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
101
Voted
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
This paper explores the application of multiobjective Genetic Algorithms (mGAs) to rural land use planning, a spatial allocation problem. Two mGAs are proposed. Both share an unde...