32032 search results - page 6140 / 6407 » Verified programming in Guru |
161
click to vote
SIGECOM
2003
ACM
15 years 12 months ago
2003
ACM
We investigate the problem of matching buyers and sellers in a multi-item multi-unit combinatorial exchange so as to maximize either the surplus (revenue minus cost) or the tradin...
162
click to vote
SIGMETRICS
2003
ACM
15 years 12 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
196
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper is an account of some of the more instructive experiences we gained as we sought to ensure that our information technology training programs kept pace with a fast chang...
155
click to vote
WPES
2003
ACM
15 years 12 months ago
2003
ACM
We give an efficient protocol for sequence comparisons of the edit-distance kind, such that neither party reveals anything about their private sequence to the other party (other t...
171
click to vote
AGTIVE
2003
Springer
15 years 12 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...