922 search results - page 41 / 185 » Fairness, Resources, and Separation |
101
click to vote
JISE
2007
14 years 10 months ago
2007
Unlike normal wireless ad hoc networks, end-to-end connection may not exist in DTNs Thus, the Message Ferrying (MF) scheme has been proposed as a strategy for providing connectivi...
89
Voted
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
Successful implementation of information technology (IT)-enabled strategy rests on the performance of IT professionals. Consequently, the development and retention of this "I...
101
click to vote
FGCS
2007
14 years 10 months ago
2007
Grid Computing brought the promise of making high-performance computing cheaper and more easily available than traditional supercomputing platforms. Such a promise was very well r...
137
click to vote
CCE
2011
14 years 1 months ago
2011
The alternative fuel butanol can be produced via acetone-butanol-ethanol (ABE) fermentation from renewable resources, i.e. biomass. Expensive feedstocks and the high costs for the...