1187 search results - page 206 / 238 » A Timed Calculus for Wireless Systems |
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
TSP
2010
13 years 3 months ago
2010
We propose a novel equalization method for doubly selective wireless channels, whose taps are represented by an arbitrary Basis Expansion Model (BEM). We view such a channel in the...
MOBISYS
2004
ACM
14 years 8 months ago
2004
ACM
Many approaches exist today that address the issues that arise when a mobile node changes its point(s) of attachment to the Internet. Mobile IP takes care of host mobility at the ...
MOBISYS
2003
ACM
14 years 8 months ago
2003
ACM
Wireless transmission of a bit can require over 1000 times more energy than a single 32-bit computation. It would therefore seem desirable to perform significant computation to re...
IWCMC
2009
ACM
14 years 3 months ago
2009
ACM
Minimal configuration and quick deployment of ad hoc networks make it suitable for numerous applications such as emergency situations, border monitoring, and military missions, e...