2212 search results - page 247 / 443 » Automated software wrapping |
152
click to vote
HICSS
2007
IEEE
16 years 8 days 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...
138
click to vote
HICSS
2007
IEEE
16 years 8 days 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...
160
click to vote
ICRA
2007
IEEE
16 years 7 days 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...
167
click to vote
SCAM
2007
IEEE
16 years 6 days ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
168
click to vote
AUIC
2006
IEEE
16 years 3 hour ago
2006
IEEE
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...