Institute of Science and Technology

Displaying 1-4 of 4 results

  • White Papers // Aug 2011

    Static Scheduling in Clouds

    Cloud computing aims to give users virtually unlimited pay-per-use computing resources without the burden of managing the underlying infrastructure. The authors present a new job execution environment Flextic that exploits scalable static scheduling techniques to provide the user with a flexible pricing model, such as a trade-off between different degrees...

    Provided By Institute of Science and Technology

  • White Papers // Apr 2011

    The Complexity of Quantitative Information Flow Problems

    In this paper, the authors investigate the computational complexity of Quantitative Information Flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (based on Shannon entropy) have been introduced to enable more fine-grained reasoning about programs in situations where limited information flow is acceptable. The QIF bounding problem asks whether the information...

    Provided By Institute of Science and Technology

  • White Papers // May 2010

    FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment

    Cloud computing aims to give users virtually unlimited pay-per-use computing resources without the burden of managing the underlying infrastructure. The authors claim that, in order to realize the full potential of cloud computing, the user must be presented with a pricing model that offers flexibility at the requirements level, such...

    Provided By Institute of Science and Technology

  • White Papers // Jun 2009

    CoPhIR: A Test Collection for Content-Based Image Retrieval

    The scalability, as well as the effectiveness, of the different Content-Based Image Retrieval (CBIR) approaches proposed in literature, is today an important research issue. Given the wealth of images on the Web, CBIR systems must in fact leap towards Web-scale datasets. In this paper, the authors report on the experience...

    Provided By Institute of Science and Technology

  • White Papers // Jun 2009

    CoPhIR: A Test Collection for Content-Based Image Retrieval

    The scalability, as well as the effectiveness, of the different Content-Based Image Retrieval (CBIR) approaches proposed in literature, is today an important research issue. Given the wealth of images on the Web, CBIR systems must in fact leap towards Web-scale datasets. In this paper, the authors report on the experience...

    Provided By Institute of Science and Technology

  • White Papers // May 2010

    FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment

    Cloud computing aims to give users virtually unlimited pay-per-use computing resources without the burden of managing the underlying infrastructure. The authors claim that, in order to realize the full potential of cloud computing, the user must be presented with a pricing model that offers flexibility at the requirements level, such...

    Provided By Institute of Science and Technology

  • White Papers // Aug 2011

    Static Scheduling in Clouds

    Cloud computing aims to give users virtually unlimited pay-per-use computing resources without the burden of managing the underlying infrastructure. The authors present a new job execution environment Flextic that exploits scalable static scheduling techniques to provide the user with a flexible pricing model, such as a trade-off between different degrees...

    Provided By Institute of Science and Technology

  • White Papers // Apr 2011

    The Complexity of Quantitative Information Flow Problems

    In this paper, the authors investigate the computational complexity of Quantitative Information Flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (based on Shannon entropy) have been introduced to enable more fine-grained reasoning about programs in situations where limited information flow is acceptable. The QIF bounding problem asks whether the information...

    Provided By Institute of Science and Technology