1833 search results - page 55 / 367 » Mechanized Verification with Sharing |
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
—This paper presents a new pneumatically driven underactuated hand with two fingers and 3 phalanxes per finger. Two evidences have led the design of this hand. Firstly, the use o...
CCGRID
2006
IEEE
14 years 5 months ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...
INFOSCALE
2006
ACM
14 years 5 months ago
2006
ACM
Efficient large-scale content distribution continues to be an important problem, due to the increasing popularity of multimedia content and wide-spread use of peer-to-peer file ...
SECON
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper bears on the design and the quantitative evaluation of MAC mechanisms for wireless ad-hoc networks with performance guarantees. By this, we mean mechanisms where each ac...
TWC
2010
13 years 5 months ago
2010
Cooperative forwarding in wireless networks has shown to yield rate and diversity gains, but it incurs energy costs borne by the cooperating nodes. In this paper we consider an inc...