1716 search results - page 197 / 344 » Proving Conditional Termination |
113
click to vote
ICDCS
2009
IEEE
16 years 14 days ago
2009
IEEE
Autonomous routing algorithms, such as BGP, are intended to reach a globally consistent set of routes after nodes iteratively and independently collect, process, and share network...
100
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In a team competition, two participating teams have an equal number of players, and each team orders its players linearly based on their strengths. A mechanism then specifies how...
109
click to vote
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Environments with varying reward contingencies constitute a challenge to many living creatures. In such conditions, animals capable of adaptation and learning derive an advanta...
131
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— In recent years, network coding has proved to be an efficient tool to disseminate data through a network. A number of practical schemes have been proposed to implement network...
121
click to vote
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Delaunay triangulation (DT) is a useful geometric structure for networking applications. In this paper we investigate the design of join, leave, and maintenance protocols to const...