1362 search results - page 48 / 273 » Model Checking Large Network Protocol Implementations |
107
Voted
NCA
2003
IEEE
15 years 7 months ago
2003
IEEE
In content networks, messages are routed on the basis of their content and the interests (subscriptions) of the message consumers. This form of routing offers an interesting alte...
124
click to vote
COMCOM
2006
15 years 2 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
110
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
125
Voted
ICN
2005
Springer
15 years 7 months ago
2005
Springer
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...
102
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Recent research has shown that server-driven protocols for achieving cache consistency in wide-area network services can perform significantly better than traditional consistency ...