5433 search results - page 944 / 1087 » Tool Support for Traceability-Adaptation |
197
click to vote
WOSP
2005
ACM
16 years 11 hour ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
200
click to vote
APPT
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
176
click to vote
BIRTHDAY
2005
Springer
16 years 2 hour ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
192
click to vote
CCS
2005
ACM
16 years 24 min ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
182
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...