2947 search results - page 137 / 590 » The timely token protocol |
135
click to vote
LCN
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a protocol for packet switched optical LANs using a star topology. The key element in this network is the use of an intelligent hub, which controls the traffic...
139
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
151
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Many of the routing protocols that have been designed for wireless ad-hoc networks focus on energy-efficiency and guaranteeing high throughput in a non-adversarial setting. Howev...
129
click to vote
MDM
2007
Springer
15 years 11 months ago
2007
Springer
In traditional fixed-wired networks, standard protocols like 2-Phase-Commit are used to guarantee atomicity for distributed transactions. However, within mobile networks, a highe...
121
Voted
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
: We discuss a group protocol which supports applications with group communication service when QoS supported by networks or required by applications is changed. An autonomic group...