2 search results - page 1 / 1 » Property Preservation and Composition with Guarantees: From ... |
163
click to vote
ISORC
2009
IEEE
16 years 17 days ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
166
click to vote
SIGCOMM
2003
ACM
15 years 11 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...