14558 search results - page 182 / 2912 » Resources |
137
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
135
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Recent advances in P2P lookup overlays provide an appealing solution for distributed search without relying on a single database server. In addition to performing resourc...
156
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
The terms pervasive and ubiquitous computing are used to describe a smart space populated by hundreds of intelligent devices that are embedded in their surroundings. Characteristi...
134
Voted
ICNP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper targets the problem of optimal resource allocation in overlay multicast, which poses both theoretical and practical challenges. Theoretically, resource allocation among...
142
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—Wireless communications using ad hoc networks are receiving an increasing interest. The most attractive feature of ad hoc networks is the flexibility. The network is set up by ...