3337 search results - page 242 / 668 » Resource Management |
174
Voted
JISE
2007
15 years 5 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...
188
Voted
IEEEHPCS
2010
15 years 3 months ago
2010
In grid computing systems, providing fault-tolerance is required for both scientific computation and file-sharing to increase their reliability. In previous works, several mechani...
171
click to vote
CHB
2010
15 years 16 days ago
2010
Affordances of information communication technology (ICT) are often thought to influence communicators usage of a communication technology. This is not surprising since ICTs vary ...
153
click to vote
SIGMETRICS
1999
ACM
15 years 9 months ago
1999
ACM
Multimedia applications are emerging in education, information dissemination, entertainment, as well as many other applications. The stringent requirements of such applications ma...
146
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...