3116 search results - page 464 / 624 » Positively dependent types |
175
click to vote
INFOCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
— In this paper we investigate the use of proactive multipath routing to achieve energy efficient operation of ad hoc wireless networks. The focus is on optimizing trade-offs be...
148
click to vote
IV
2005
IEEE
16 years 2 days ago
2005
IEEE
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
185
click to vote
SAINT
2005
IEEE
16 years 2 days ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
170
click to vote
SMI
2005
IEEE
16 years 2 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
162
click to vote
WISE
2005
Springer
16 years 2 days ago
2005
Springer
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...