1414 search results - page 205 / 283 » Automated Metamorphic Testing |
ICNP
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- We are developing a process to quickly prototype millirobotic systems in which the approach is to identify and develop a construction kit for fabricating almost any design, simil...
WSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
MICCAI
2005
Springer
14 years 1 months ago
2005
Springer
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...