6274 search results - page 476 / 1255 » Proofs, Programs, Processes |
172
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Recently, a convergence proof of stochastic search algorithms toward finite size Pareto set approximations of continuous multi-objective optimization problems has been given. The...
161
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
163
click to vote
DSN
2005
IEEE
16 years 15 days ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
181
click to vote
ITRUST
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems beg...
164
click to vote
ICDCS
2003
IEEE
16 years 5 days ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...