4211 search results - page 684 / 843 » Types as Abstract Interpretations |
105
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract— The relationship between changes in gene expression and physical characteristics associated with Down syndrome is not well understood. Chromosome 21 genes interact with...
125
click to vote
FOSAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
132
click to vote
FSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The slide attack is applicable to ciphers that can be represented as an iterative application of the same keyed permutation. The slide attack leverages simple attacks on ...
148
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
125
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...