2687 search results - page 300 / 538 » Formal Analysis of PKCS |
145
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
The formal analysis of parallelism and pipelining is performed on an 8-bit Add-Compare-Select element of a Viterbi decoder. The results are quantified through a study of the delay...
186
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
186
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
187
click to vote
WAW
2009
Springer
16 years 1 months ago
2009
Springer
We study personalized web ranking algorithms based on the existence of document clusterings. Motivated by the topic sensitive page ranking of Haveliwala [19], we develop and imple...
156
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...