352 search results - page 68 / 71 » Proof-Checking a Data Link Protocol |
ICDCSW
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Efficient searching is one of the important design issues in peer-to-peer (P2P) networks. Among various searching techniques, semantic-based searching has drawn significant a...
HPDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Adapting to the network is the key to achieving high performance for communication-intensive applications, including scientific computing, data intensive computing, and multicast...
SIGCOMM
2004
ACM
14 years 23 days ago
2004
ACM
This paper presents a methodology for identifying the autonomous system (or systems) responsible when a routing change is observed and propagated by BGP. The origin of such a rout...
INFOCOM
2002
IEEE
14 years 8 days ago
2002
IEEE
Abstract—Routing with service restorability is of much importance in Multi-Protocol Label Switched (MPLS) networks, and is a necessity in optical networks. For restoration, each ...