2652 search results - page 418 / 531 » Privacy-preserving linear programming |
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
e-Negotiation involves two or more agents multilaterally bargaining for mutual gain, using information technologies in a cooperative problem-solving (CPS) environment. This paper ...
ICCAD
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper proposes for latency insensitive systems a performance optimization technique called channel buffer queue sizing, which is performed after relay station insertion in th...
VTS
2003
IEEE
15 years 3 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Electronic exchanges are double-sided marketplaces that allow multiple buyers to trade with multiple sellers, with aggregation of demand and supply across the bids to maximize the...
SIGSOFT
2003
ACM
15 years 3 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...