1687 search results - page 192 / 338 » Light Functional Interpretation |
150
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
158
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
We combine the functionality of a mobile Global Positioning System (GPS) with that of an MP3 player, implemented on a PocketPC, to produce a handheld system capable of guiding a u...
182
click to vote
PKC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present the cryptanalysis of a public key scheme based on a system of multivariate polynomial equations, the ”tractable rational map” cryptosystem. We show co...
160
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
Challenging usage policy issues can arise within virtual organizations (VOs) that integrate participants and resources spanning multiple physical institutions. Participants may wi...
140
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...