1087 search results - page 119 / 218 » Achieving Distributed Control through Model Checking |
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Congestion in the Internet results in wasted bandwidth and also stands in the way of guaranteeing QoS. The effect of congestion is multiplied many fold in Satellite networks, wher...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Limited spectrum resources, inefficient spectrum usage and increasing wireless communication necessitates a paradigm shift from the current fixed spectrum management policy to...
DAC
2007
ACM
14 years 1 months ago
2007
ACM
The number of features that are supported in modern multimedia devices is increasing faster than ever. Estimating the performance of such applications when they are running on sha...
MOBIHOC
2005
ACM
14 years 8 months ago
2005
ACM
: In this paper, we analyze the node scheduling approach of topology control in the context of reliable packet delivery. In node scheduling, only a minimum set of nodes needed for ...
ISLPED
2006
ACM
14 years 3 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...