1999 search results - page 179 / 400 » Dependently Typed Grammars |
146
click to vote
SACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
We show that there is a very straightforward closed algebraic formula for the Rijndael block cipher. This formula is highly structured and far simpler then algebraic formulations o...
152
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
143
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Stability analysis of a baseline power system architecture for modern aircraft is addressed. Power electronic converters are widely used in modern aircraft power distribution syst...
179
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
158
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...