6014 search results - page 167 / 1203 » Structural Testing with Use Cases |
116
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Backside light emission and electrical measurements were used to evaluate the susceptibility to latchup of externally cabled I/O pins for a 0.13 µm technology generation [1,2] te...
189
click to vote
PTS
2003
15 years 7 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
153
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
155
click to vote
ICCBR
2005
Springer
15 years 12 months ago
2005
Springer
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
160
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
– The Mars Exploration Rover (MER) Descent Image Motion Estimation System (DIMES) is the first autonomous machine vision system used to safely land a robotics payload on another ...