2741 search results - page 410 / 549 » Engineering Mathematical Knowledge |
123
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
124
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
122
click to vote
ICSM
2003
IEEE
15 years 10 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
178
click to vote
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
148
Voted
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Software inspection is an effective way to assess product quality and to reduce the number of defects. In a software inspection the inspection meeting is a key activity to agree o...