2 search results - page 1 / 1 » Model Checking Programmable Router Configurations |
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
CCR
2010
13 years 5 months ago
2010
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundament...