7811 search results - page 417 / 1563 » computer 2004 |
155
click to vote
ANTS
2004
Springer
16 years 4 days ago
2004
Springer
We present algorithms for computing the squared Weil and Tate pairings on an elliptic curve and the squared Tate pairing for hyperelliptic curves. The squared pairings introduced i...
136
Voted
ANTS
2004
Springer
16 years 4 days ago
2004
Springer
We present an algorithm for the computation of the discrete logarithm in logarithmic -Class Groups. This is applied to the calculation to the -rank of the wild kernel WK2 of a numb...
141
click to vote
CMSB
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...
161
click to vote
DEON
2004
Springer
16 years 4 days ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
168
click to vote
EDBTW
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we thoroughly analyze a distributed procedure for the problem of local database update in a network of database peers, useful for data exchange scenarios. The algorit...