487 search results - page 47 / 98 » Integral Invariant Signatures |
INDOCRYPT
2004
Springer
14 years 3 months ago
2004
Springer
The Montgomery multiplication is often used for an efficient implementations of public-key cryptosystems. This algorithm occasionally needs an extra subtraction in the final step,...
APSEC
1999
IEEE
14 years 2 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
TFS
2008
13 years 9 months ago
2008
Abstract--Flocking algorithms essentially consist of three components: alignment, cohesion, and separation. To track a desired trajectory, the flock center should move along the de...
AUTOMATICA
2010
13 years 7 months ago
2010
We consider a class of continuous-time cooperative systems evolving on the positive orthant Rn +. We show that if the origin is globally attractive, then it is also globally stabl...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...