1195 search results - page 185 / 239 » Modeling an Algebraic Stepper |
160
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Sequence compression is one of the most promising tools for strengthening pseudo-random generators used in stream ciphers. Indeed, adding compression components can thwart algebrai...
159
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
160
click to vote
COORDINATION
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
147
click to vote
IFM
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
218
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...