Sciweavers

1512 search results - page 106 / 303
» Principles of IEEE 802.11s
Sort
View
SASO
2008
IEEE
14 years 3 months ago
Autonomic Request Management Algorithms for Geographically Distributed Internet-Based Systems
Supporting Web-based services through geographical distributed clusters of servers is a common solution to the increasing volume and variability of modern traffic. These architec...
Mauro Andreolini, Sara Casolari, Michele Colajanni
TPHOL
2008
IEEE
14 years 3 months ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy
WIMOB
2008
IEEE
14 years 3 months ago
Hybrid ARQ Scheme with Intercarrier Interference Mitigation for OFDM Systems
—Based on the principle of spread spectrum systems, this paper presents a hybrid automatic-repeat-request (HARQ) scheme with the mitigation of intercarrier interference (ICI) by ...
Rong-Terng Juang, Kun-Yi Lin, Pangan Ting, Hsin-Pi...
WMCSA
2008
IEEE
14 years 3 months ago
Location-based trust for mobile user-generated content: applications, challenges and implementations
The recent explosion in shared media content and sensed data produced by mobile end-users is challenging well-established principles and assumptions in data trust models. A fundam...
Vincent Lenders, Emmanouil Koukoumidis, Pei Zhang,...
ACSD
2007
IEEE
136views Hardware» more  ACSD 2007»
14 years 3 months ago
Mapping Applications to Tiled Multiprocessor Embedded Systems
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex communications on shared communication networks. Traditional m...
Lothar Thiele, Iuliana Bacivarov, Wolfgang Haid, K...