1362 search results - page 93 / 273 » Model Checking Large Network Protocol Implementations |
160
click to vote
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...
116
Voted
JCP
2006
15 years 3 months ago
2006
We present a novel self-stabilizing version of Mazurkiewicz enumeration algorithm [1]. The initial version is based on local rules to enumerate nodes on an anonymous network. [2] p...
158
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
130
click to vote
NETGAMES
2004
ACM
15 years 9 months ago
2004
ACM
Large-scale multiplayer online games require considerable investment in hosting infrastructures. However, the difficulty of predicting the success of a new title makes investing ...
129
click to vote
DSN
2007
IEEE
15 years 7 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...