1581 search results - page 248 / 317 » Mechanizing Inductive Reasoning |
IFIP
2003
Springer
15 years 5 months ago
2003
Springer
The TCP protocol exhibits poor performance in multi-hop Mobile Ad Hoc Networks (MANETs). The ultimate reason for this is that MANETs behave in a significantly different way from ...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
Sun-synchronous exploration is accomplished by reasoning about sunlight: where the Sun is in the sky, where and when shadows will fall, and how much power can be obtained through ...
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
—Enhanced network services often involve allocating resources (bandwidth/buffer space) preferentially to packets belonging to certain flows or traffic classes. Such services ar...
102
click to vote
ISCC
2002
IEEE
15 years 4 months ago
2002
IEEE
We believe that existing wire solutions such as HomePNA2.0 and HomePlug and wireless solution such as HomeRF are the most promising solutions, because of its cost-effectiveness. H...