2302 search results - page 116 / 461 » Testing as Abstraction |
164
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
180
click to vote
CORR
1999
Springer
15 years 6 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...
123
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. In this paper, we experimentally tested the positioning repeatability of MR-compatible manipulator with a CCD laser micrometer inside MRI. To evaluate the performance of ...
153
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
166
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper provides an overview of the elaboration, testing and improvement of Movelex, a complex virtual learning environment (VLE) supporting the establishment of self-r...