Sciweavers

2001 search results - page 188 / 401
» Local solutions for global problems in wireless networks
Sort
View
FSTTCS
2010
Springer
15 years 4 months ago
Model checking time-constrained scenario-based specifications
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...
INFOCOM
2009
IEEE
16 years 1 months ago
Delay-Limited Cooperative Communication with Reliability Constraints in Wireless Networks
Abstract—We investigate optimal resource allocation for delaylimited cooperative communication in time varying wireless networks. Motivated by real-time applications that have st...
Rahul Urgaonkar, Michael J. Neely
INFOCOM
2007
IEEE
16 years 22 days ago
Non-Cooperative Multi-Radio Channel Allocation in Wireless Networks
— Channel allocation was extensively studied in the framework of cellular networks. But the emergence of new system concepts, such as cognitive radio systems, has brought this to...
Márk Félegyházi, Mario Cagalj...
GLOBECOM
2007
IEEE
16 years 23 days ago
Non-Cooperative Power Control for Faded Wireless Ad Hoc Networks
— The problem of non-cooperative power control is studied for wireless ad hoc networks supporting data services. We develop a maximum throughput based non-cooperative power contr...
Xiaolu Zhang, Meixia Tao, Chun Sum Ng
DKE
2007
156views more  DKE 2007»
15 years 6 months ago
Efficient index and data allocation for wireless broadcast services
The periodic broadcasting of frequently requested data can reduce the workload of uplink channels and improve data access for users in a wireless network. Since mobile devices hav...
Shou-Chih Lo, Arbee L. P. Chen