CORR
1999
Springer
13 years 4 months ago
1999
Springer
CORR
1999
Springer
13 years 4 months ago
1999
Springer
Quantum key distribution is the best known application of quantum cryptography. Previously proposed proofs of security of quantum key distribution contain various technical subtle...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
CORR
1999
Springer
13 years 4 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
CORR
1999
Springer
13 years 4 months ago
1999
Springer
: This paper computationally obtains optimal bounded-weight, binary, error-correcting codes for a variety of distance bounds and dimensions. We compare the sizes of our codes to th...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
The goal of this paper is to define and analyze systems which exhibit brittle behavior. This behavior is characterized by a sudden and steep decline in performance as the system s...