3052 search results - page 396 / 611 » Engineers Don't Search |
182
click to vote
WEBI
2004
Springer
15 years 12 months ago
2004
Springer
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...
162
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
172
Voted
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
206
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
161
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...