1040 search results - page 106 / 208 » Resource Usage Verification |
210
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract-- We introduce join scheduling algorithms that employ a balanced network utilization metric to optimize the use of all network paths in a global-scale database federation....
132
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute i...
133
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
149
click to vote
ICSOC
2009
Springer
15 years 9 months ago
2009
Springer
The Web is nowadays moving from a Web of data to a Web of services. In this paper we present our approach for Web Service discovery on Web scale, targeted to support flexible and ...
133
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...