2079 search results - page 211 / 416 » Quantifying Information Flow |
FORMATS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
Using an OFDM based uplink for the future cellular network has been a controversial issue due to difficulties in time and frequency synchronization and high Peak-to-Average Power...
WIOPT
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— We investigate the fairness and throughput properties of a simple distributed scheduling policy, maximal scheduling, in the context of a general ad-hoc wireless network...
GI
2005
Springer
14 years 3 months ago
2005
Springer
: It is well known that dynamic OFDMA systems potentially increase the spectral efficiency of wireless systems. They exploit diversity effects in time, space, and frequency by ass...
AMEC
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we describe an analysis of two double auction markets— the clearing house auction and the continuous double auction. The complexity of these institutions is such th...