2214 search results - page 183 / 443 » Dynamic Protocol Recovery |
133
click to vote
MSCS
2006
15 years 22 days ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
114
click to vote
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
Gossip-based information dissemination protocols are considered easy to deploy, scalable and resilient to network dynamics. They are also considered highly flexible, namely tunab...
114
Voted
ICC
2008
IEEE
15 years 7 months ago
2008
IEEE
—With the availability of multiple rates in IEEE 802.11a/b/g wireless LANs, it is desirable to improve the network capacity and temporal fairness by sending multiple consecutive ...
101
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We consider energy efficient packet forwarding with quality-of-service (QoS) guarantee for wireless sensor networks (WSNs). In most existing wireless network protocols, route ...
89
Voted
MDM
2007
Springer
15 years 7 months ago
2007
Springer
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...