16725 search results - page 2799 / 3345 » Engineering Software Correctness |
201
click to vote
ARCS
2004
Springer
16 years 11 days ago
2004
Springer
: This paper addresses the optimization of a dynamic Traveling Salesman Problem using the Ant Colony Optimization algorithm. Ants are social insects with limited skills that live i...
168
click to vote
ARCS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortun...
151
Voted
CBSE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...
166
click to vote
CIKM
2004
Springer
16 years 11 days ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
181
click to vote
CSCLP
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...