626 search results - page 17 / 126 » Abstract Modularity |
ERSHOV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
SAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
FSE
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. This paper presents xmx, a new symmetric block cipher optimized for public-key libraries and microcontrollers with arithmetic coprocessors. xmx has no S-boxes and uses on...
SIGSOFT
2004
ACM
14 years 3 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veri...
EUROGP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This work postulates a mechanism by which random genotypic variation is directed towards favourable phenotypic variation. Evolvability is a poorly understood concept at p...