10568 search results - page 253 / 2114 » Computer Intelligence and Formalization |
159
Voted
AEI
1999
15 years 3 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
ICEIS
2003
IEEE
15 years 8 months ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
116
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...
128
click to vote
WSC
2004
15 years 4 months ago
2004
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...
243
click to vote
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...