3557 search results - page 191 / 712 » Authoring Presentation for OpenMath |
141
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Transaction services offered by public authorities vary from simple forms with few fields to multi-form compound documents with hundreds of input areas. In the latter case, field p...
119
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
The concept of biorthogonal partners has been introduced recently by the authors. The work presented in this paper is an extension of some of these results to the case where the u...
174
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
Security mechanisms such as firewalls commonly deployed throughout the Internet present serious obstacles to basic usage of Mobile IP. In this paper we describe how IP security me...
170
click to vote
PKC
2001
Springer
15 years 11 months ago
2001
Springer
Quite recently, in [4], a new time-memory tradeoff algorithm was presented. The original goal of this algorithm was to count the number of points on an elliptic curve, however, th...
164
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...