763 search results - page 46 / 153 » Programming and Planning |
133
click to vote
ISER
1999
Springer
15 years 7 months ago
1999
Springer
: Robotic planetary exploration is a major component of the United States’ NASA space science program. The focus of our research is to develop rover planning and control algorith...
184
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
100
click to vote
IM
2007
15 years 4 months ago
2007
Abstract— The deployment of converged services of TV, telephony, and Internet access over IP entails a significant initial investment for service providers. This investment is n...
120
click to vote
KI
2001
Springer
15 years 7 months ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
112
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...