Sciweavers

3155 search results - page 197 / 631
» Maintenance: Less Is Not More
Sort
View
QEST
2008
IEEE
15 years 11 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
DSN
2007
IEEE
15 years 11 months ago
On the Selection of Error Model(s) for OS Robustness Evaluation
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
Andréas Johansson, Neeraj Suri, Brendan Mur...
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 11 months ago
Sphere Decoder for a MIMO Multi-User MC-CDMA Uplink in Time-Varying Channels
— We focus on iterative detection for the uplink of a multi-carrier (MC) code division multiple access (CDMA) system based on orthogonal frequency division multiplexing (OFDM). T...
Charlotte Dumard, Thomas Zemen
ICC
2007
IEEE
157views Communications» more  ICC 2007»
15 years 11 months ago
Secure Aggregation in Sensor Networks Using Neighborhood Watch
Abstract— Many sensor networks (SN) use in-network aggregation to minimize the amount of data transmitted by sensors. Unfortunately, aggregation makes the network more vulnerable...
Paul Rabinovich, Robert Simon
ICC
2007
IEEE
128views Communications» more  ICC 2007»
15 years 11 months ago
An Efficient Selective Receiver for STBC Scheme
—In this paper, we propose an efficient selective receiver for space-time block coding (STBC) scheme. In this proposed scheme, we divide the received signals into two groups. By ...
Lijun Liu, Sooyoung Kim, Myoung-Seob Lim