1727 search results - page 127 / 346 » A Technique for Large Automated Mechanism Design Problems |
181
click to vote
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
149
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
146
click to vote
TABLETOP
2008
IEEE
16 years 26 days ago
2008
IEEE
The WeSpace is a long-term project dedicated to the creation of environments supporting walkup and share collaboration among small groups. The focus of our system design has been ...
192
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
Online auctions in which items are sold in an online fashion with little knowledge about future bids are common in the internet environment. We study here a problem in which an auc...
142
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...