2838 search results - page 367 / 568 » Verifying Controlled Components |
95
Voted
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
116
click to vote
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract-- The dynamics of exploration vs exploitation decisions are explored in the context of robotic search problems. Building on prior work on robotic search together with our ...
CVGIP
2006
15 years 21 days ago
2006
The postures a character adopts over time are a key expressive aspect of her movement. While IK tools help a character achieve positioning constraints, there are few tools that he...
116
click to vote
CERA
2002
15 years 15 days ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
96
Voted
CORR
1998
Springer
15 years 11 days ago
1998
Springer
Abstract In this paper we describe a hands-on laboratory oriented instructional package that we have developed for data communications and networking. The package consists of a sof...