623 search results - page 15 / 125 » Declarative Network Verification |
DSN
2009
IEEE
14 years 2 months ago
2009
IEEE
ICNP
1995
IEEE
13 years 11 months ago
1995
IEEE
SIGMOD
2010
ACM
13 years 7 months ago
2010
ACM
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important for network management and security. Such capabilities often utilize network p...
ICNS
2009
IEEE
14 years 2 months ago
2009
IEEE
Some initiatives towards Future Internet, e.g., GENI, DARPA’s Active Networks, argue the need for programmability of the network components. Some other initiatives extend this w...
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...