6800 search results - page 516 / 1360 » Testing with Functions as Specifications |
194
click to vote
ESAW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. How to ensure that two different implementations of a simulation will produce the same results ? In order to assure simulation reproducibility, some domain-independent fu...
201
click to vote
DIMVA
2004
15 years 9 months ago
2004
: A method to heuristically construct an isomorphism between the sets of functions in two similar but differing versions of the same executable file is presented. Such an isomorphi...
218
click to vote
IASSE
2003
15 years 9 months ago
2003
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
214
click to vote
IADT
1998
15 years 9 months ago
1998
Multimedia Database Management Systems (MMDBMS) have to efficiently provide the specific functionalities required by time-dependent multimedia data types. During presentation play...
152
click to vote
COLING
1996
15 years 9 months ago
1996
This paper proposes a segmentation standard for Chinese natural language processing. The standard is proposed to achieve linguistic felicity, computational feasibility, and data u...