1660 search results - page 97 / 332 » A Behavior Model for Next Generation Test Systems |
146
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
147
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Creativity is essential to an organization’s survival. In order to remain productive and adaptive, an organization’s members must devise creative solutions – solutions that ...
179
click to vote
NIPS
2007
15 years 7 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
164
click to vote
WSC
2004
15 years 7 months ago
2004
The concept of operations for a micro-UAV system is adopted from nature from the appearance of flocking birds, movement of a school of fish, and swarming bees among others. This &...
184
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...