2302 search results - page 212 / 461 » Testing as Abstraction |
163
click to vote
ADAEUROPE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
202
click to vote
AMEC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper documents the development of three autonomous stocktrading agents within the framework of the Penn Exchange Simulator (PXS), a novel stock-trading simulator th...
224
click to vote
AMTA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
143
click to vote
ANTSW
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The building behaviour of termites has previously been modelled mathematically in two dimensions. However, physical and logistic constraints were not taken into account i...
130
click to vote
APPROX
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...