1716 search results - page 197 / 344 » Proving Conditional Termination |
89
Voted
ICDCS
2009
IEEE
15 years 10 months 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...
75
Voted
ATAL
2009
Springer
15 years 7 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...
87
Voted
CEC
2007
IEEE
15 years 7 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...
106
Voted
GLOBECOM
2007
IEEE
15 years 7 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...
91
Voted
ICDCS
2007
IEEE
15 years 7 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...