352 search results - page 34 / 71 » Proof-Checking a Data Link Protocol |
ICN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
ICIC
2005
Springer
14 years 2 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol, which can be used to support the mobility of mobile terminals. This paper describes a framework ...
ISCAS
2002
IEEE
14 years 1 months ago
2002
IEEE
Bluetooth technology offers the potential for low-cost, broadband wireless access for a range of mobile and portable devices. It can thus provide for ubiquitous computing across a...
EUROPAR
2007
Springer
14 years 11 days ago
2007
Springer
In many network applications the computation takes place on the minimum-cost spanning tree (MST) of the network; unfortunately, a single link or node failure disconnects the tree. ...
SEBD
2008
13 years 10 months ago
2008
Collaborative information systems in a P2P scenario are characterized by a set of independent peers that dynamically need to cooperate by sharing data and services. For effective c...