2255 search results - page 325 / 451 » High Assurance Software Systems |
151
click to vote
LCPC
2005
Springer
15 years 11 months 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...
148
Voted
WEBI
2005
Springer
15 years 11 months 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...
277
click to vote
ATAL
2005
Springer
15 years 11 months 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...
163
click to vote
FPL
2004
Springer
15 years 11 months 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...
164
click to vote
GCC
2004
Springer
15 years 11 months 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...