1897 search results - page 31 / 380 » eg 2007 |
CIE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
TGC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...