8555 search results - page 370 / 1711 » Property Based Coordination |
231
click to vote
BIOADIT
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we propose a resilient scheme for multi-path routing using a biologically-inspired attractor selection method. The main advantage of this approach is that it is highl...
181
click to vote
BIBE
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution con...
165
click to vote
CRYPTO
1995
Springer
15 years 11 months ago
1995
Springer
We review the well-known relation between Lucas sequences and exponentiation. This leads to the observation that certain public-key cryptosystems that are based on the use of Lucas...
188
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
196
click to vote
CG
2005
Springer
15 years 7 months ago
2005
Springer
Many applications of geometry processing and computer vision rely on geometric properties of curves, particularly their curvature. Several methods have already been proposed to est...