8828 search results - page 1702 / 1766 » Formal methods in practice |
ICNP
2007
IEEE
15 years 4 months ago
2007
IEEE
— While the 802.11 power saving mode (PSM) and its enhancements can reduce power consumption by putting the wireless network interface (WNI) into sleep as much as possible, they ...
ICNSC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a smart vision sensor for environmental hazards (such as slippery surfaces) and detecting risk factors of a toddler's fall in an indoor home perilous activ...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— The exploration problem is a central issue in mobile robotics. A complete coverage is not practical if the environment is large with a few small hotspots, and the sampling cost...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— In many networked applications, independent caching agents cooperate by servicing each other’s miss streams, without revealing the operational details of the caching mechanis...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— We consider fair allocation of sessions at the outputs of optical cross-connects employing wavelength division multiplexing (WDM). Each session consists of traffic on one or m...