1187 search results - page 22 / 238 » A Timed Calculus for Wireless Systems |
CN
2002
13 years 8 months ago
2002
We present a model for soft handoff in wireless cellular networks. In such networks, due to overlapping cells, handoffs are not instantaneous and multiple channels may be occupied...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— A multihop ad hoc wireless network with an interference avoidance model is analyzed for a time division duplex (TDD) air-interface. In accordance with the non-interfere...
RTAS
2002
IEEE
14 years 1 months ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...
AINA
2006
IEEE
14 years 2 months ago
2006
IEEE
In query-based wireless sensor networks (WSNs), the system must perform data sensing and retrieval and possibly aggregate data as a response at runtime. Since a WSN is often deplo...
INFORMATICALT
2007
13 years 8 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...