12741 search results - page 34 / 2549 » Editorial and call for papers |
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— A novel cross-layer call admission control policy is proposed for a general CDMA beamforming system. In contrast to previously proposed call admission control (CAC) policies wh...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
–Call admission control (CAC) is essential to guarantee the signal quality in CDMA systems. Signal-tointerference-and-noise ratio (SINR) is used as a criterion for user admission...
WIOPT
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper, a scheduling problem in wireless networks is considered when there simultaneously exist CBR (constant bit rate) users requiring exact minimum average throughput ...
ICARIS
2005
Springer
14 years 1 months ago
2005
Springer
We have proposed a metaphor “DAnger Susceptible daTa codON” (DASTON) in data subject to processing by Danger Theory (DT) based Artificial Immune System (DAIS). The DASTONs are ...