2 search results - page 1 / 1 » Model Checking Programmable Router Configurations |
BIRTHDAY
2010
Springer
14 years 10 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...
101
Voted
CCR
2010
14 years 10 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...