4693 search results - page 547 / 939 » Verifying Hybrid Systems |
217
click to vote
TCOM
2008
15 years 6 months ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
173
click to vote
INFOCOM
2005
IEEE
16 years 17 days ago
2005
IEEE
Abstract— A TCP-friendly Additive Increase and Multiplicative Decrease (AIMD) protocol is proposed to support timesensitive applications in hybrid wired/wireless networks. By ana...
228
click to vote
MSWIM
2004
ACM
16 years 11 days ago
2004
ACM
In this paper the behavior of the upcoming MAC protocol for wireless LANs IEEE 802.11e is investigated. Based on the results, we propose an enhancement for Hybrid Coordination Fun...
217
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Recently, the problem of efficiently supporting advanced query operators, such as nearest neighbor or range queries, over multidimensional data in widely distributed environments...
170
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many storage systems rely on replication to increase the availability and durability of data on untrusted storage systems. At present, such storage systems provide no strong evide...