2527 search results - page 162 / 506 » A UML-Based Approach to System Testing |
147
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
137
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper proposes a new architecture for robot control. A test scenario is outlined to test the proposed system and enable a comparison with an existing system, which is able ...
136
click to vote
IJFCS
2008
15 years 4 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
150
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
153
click to vote
DSP
2008
15 years 2 months ago
2008
In this paper we present a methodical evaluation of the performance of a new and two traditional approaches to automatic target recognition (ATR) based on silhouette representatio...