42 search results - page 9 / 9 » Relationships between internal and external metrics in co-ev... |
VSTTE
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
SIGCOMM
2003
ACM
14 years 18 days ago
2003
ACM
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In th...