2255 search results - page 325 / 451 » High Assurance Software Systems |
169
click to vote
LCPC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
166
click to vote
WEBI
2005
Springer
16 years 10 days ago
2005
Springer
In order to let software programs gain full benefit from semi-structured web sources, wrapper programs must be built to provide a “machine-readable” view over them. A signific...
301
Voted
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
180
click to vote
FPL
2004
Springer
16 years 7 days ago
2004
Springer
Several implementations of Artificial Neural Networks have been reported in scientific papers. Nevertheless, these implementations do not allow the direct use of off-line trained n...
187
click to vote
GCC
2004
Springer
16 years 7 days ago
2004
Springer
Agent technology is critical in providing solutions to grid computing, including resource selection. Traditionally, agent deliberation offers a deductive process whose deliberation...