403 search results - page 81 / 81 » Contracts for higher-order functions |
155
click to vote
MANSCI
2006
15 years 5 months ago
2006
This paper studies a queuing model in which a buyer sources a good or service from an single supplier chosen from a pool of suppliers. The buyer seeks to minimize the sum of her p...
194
click to vote
JBCS
2010
15 years 4 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...
180
click to vote
PKC
2012
Springer
13 years 8 months ago
2012
Springer
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...