42 search results - page 9 / 9 » Relationships between internal and external metrics in co-ev... |
VSTTE
2005
Springer
13 years 11 months 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
13 years 10 months 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...