147 search results - page 23 / 30 » Using Model Checking for Analyzing Distributed Power Control... |
IPSN
2004
Springer
14 years 27 days ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
IEICET
2007
13 years 7 months ago
2007
There have been many theoretical and experimental investigations on polarization diversity reception characteristics at base stations. The diversity gain was evaluated based on th...
CIS
2007
Springer
13 years 9 months ago
2007
Springer
Multi-domain application environments where distributed domains interoperate with each other are becoming a reality in Internet-based enterprise applications. The secure interoper...
SPAA
2003
ACM
14 years 24 days ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...