7821 search results - page 126 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
147
click to vote
APLAS
2009
ACM
16 years 17 days ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
140
click to vote
CHES
2001
Springer
15 years 10 months ago
2001
Springer
A variation of the Complex Multiplication (CM) method for generating elliptic curves of known order over finite fields is proposed. We give heuristics and timing statistics in th...
162
click to vote
MUE
2008
IEEE
16 years 12 days ago
2008
IEEE
In this paper we propose Rank-Based Broadcast (RBB) algorithm using High Order Markov Chain (HOMC) with weight values in mobile p2p ad-hoc networks (MOPNET) for ubiquitous. RBB us...
149
click to vote
IQ
2007
15 years 7 months ago
2007
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
178
click to vote
CCCG
2001
15 years 7 months ago
2001
Local coordinates based on the Voronoi diagram are used in natural neighbour interpolation to quantify the "neighbourliness" of data sites. In an earlier paper, we have ...