2132 search results - page 235 / 427 » Automated software winnowing |
151
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
172
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
143
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
132
click to vote
HICSS
2007
IEEE
15 years 11 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...
150
click to vote
ICRA
2007
IEEE
15 years 11 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...