2015 search results - page 167 / 403 » Hidden Software Capabilities |
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
101
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
98
Voted
SCAM
2007
IEEE
15 years 7 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
113
Voted
ADAEUROPE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
105
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...