1983 search results - page 349 / 397 » Optimal Reverse-Pricing Mechanisms |
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Web processes must often operate in volatile environments where the quality of service parameters of the participating service providers change during the life time of the process...
HPCA
2008
IEEE
14 years 9 months ago
2008
IEEE
Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
SODA
2010
ACM
14 years 6 months ago
2010
ACM
In this paper, we consider the problem of designing incentive compatible auctions for multiple (homogeneous) units of a good, when bidders have private valuations and private budg...
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...