1268 search results - page 52 / 254 » An Algorithm for Distributed Beacon Selection |
102
click to vote
FORTE
2010
15 years 1 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
ICML
2006
IEEE
16 years 19 days ago
2006
IEEE
In recent years, there has been a proliferation of theoretical graph models, e.g., preferential attachment and small-world models, motivated by real-world graphs such as the Inter...
117
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Software maintenance is responsible for as much as two thirds of the cost of any software, and is consequently an important research area. In this paper we focus on the change pro...
100
click to vote
NETWORKING
2004
15 years 1 months ago
2004
We consider a system with multiple interconnected video servers storing TV programs that are received through satellite antennas. Users, equipped with set-top boxes, submit request...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— For cognitive radio networks, a popular approach to dynamic spectrum allocation (DSA) is game theoretic, which improves spectrum efficiency in a distributed manner. In a doubl...