2687 search results - page 345 / 538 » Formal Analysis of PKCS |
143
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract-Boltzmann selectionis an important selection mechanism in evolutionary algorithms as it has theoretical properties which help in theoretical analysis. However, Boltzmann s...
176
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
163
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
219
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...