SIGCSE
1998
ACM
13 years 7 months ago
1998
ACM
SIGCSE
1998
ACM
13 years 7 months ago
1998
ACM
-. t\ Whatstartedoff asanenrichmentassignmentfor a third graderhasdevelopedinto arich sourceof programmingassignments.Thelong integers,needed to determinewhetheranumbereventuallyb...
CORR
1999
Springer
13 years 7 months ago
1999
Springer
CORR
1999
Springer
13 years 7 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 7 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 7 months ago
1999
Springer
CORR
1999
Springer
13 years 7 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 7 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 7 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 7 months ago
1999
Springer
