2687 search results - page 183 / 538 » Formal Analysis of PKCS |
126
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
142
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
111
click to vote
EXPERT
2008
15 years 4 months ago
2008
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
120
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
135
click to vote
INFSOF
2006
15 years 4 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...