1559 search results - page 108 / 312 » Fundamentals of Generic Programming |
FSE
1997
Springer
15 years 2 months ago
1997
Springer
We propose secret-key cryptosystems MISTY1 and MISTY2, which are block ciphers with a 128-bit key, a 64-bit block and a variable number of rounds. MISTY is a generic name for MISTY...
INFSOF
2008
14 years 9 months ago
2008
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...
IJCINI
2007
14 years 9 months ago
2007
The cognitive models of information representation are fundamental research areas in cognitive informatics, which attempts to reveal the mechanisms and potential of the brain in l...
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
TPHOL
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...