13383 search results - page 2275 / 2677 » Abstractions from proofs |
160
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Cloud computing services allow users to lease computing resources from large scale data centers operated by service providers. Using cloud services, users can deploy a wi...
186
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Objectives of the dissertation are impacts of Peerto-Peer (P2P) traffic on Internet core networks as well as novel approaches for using P2P technology in Internet access ...
136
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The provision of Quality of Service in Grid environments is still an open issue that needs attention from the research community. One way of contributing to the provision...
153
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Uintah is a highly parallel and adaptive multiphysics framework created by the Center for Simulation of Accidental Fires and Explosions in Utah. Uintah, which is built up...
142
click to vote
IS
2010
15 years 2 months ago
2010
Abstract--High level conceptual thought seems to be at the basis of the impressive human cognitive ability, and AI researchers aim to replicate this ability in artificial agents. C...