513 search results - page 35 / 103 » Test Construction for Mathematical Functions |
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
IJCAI
1997
13 years 9 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
CVBIA
2005
Springer
14 years 1 months ago
2005
Springer
In non-rigid image registration problems, it can be difficult to construct a single cost function that adequately captures concepts of similarity for multiple structures, for examp...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...