2468 search results - page 95 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
Voted
TOCS
2008
15 years 3 months ago
2008
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...
161
Voted
ICC
2011
IEEE
14 years 3 months ago
2011
IEEE
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...
131
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— A radio frequency identification (RFID) system consists of a set of readers and several objects, equipped with small computer chips, called tags. In a dense RFID system, where...
156
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
We consider self-stabilizing and self-organizing distributed construction of a spanner that forms an expander. The following results are presented. • A randomized technique to r...
129
Voted
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...