3071 search results - page 207 / 615 » Explanatory Design Theory |
103
click to vote
SIGECOM
2009
ACM
15 years 5 months ago
2009
ACM
The monopolist’s theory of optimal single-item auctions for agents with independent private values can be summarized by two statements. The first is from Myerson [8]: the optim...
MMSEC
2006
ACM
15 years 5 months ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
104
click to vote
GROUP
2005
ACM
15 years 4 months ago
2005
ACM
Traditional activities change in surprising ways when computermediated communication becomes a component of the activity system. In this descriptive study, we leverage two perspec...
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
101
click to vote
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...