2911 search results - page 210 / 583 » A Theory of Expressiveness in Mechanisms |
182
click to vote
EDBTW
2004
Springer
16 years 20 days ago
2004
Springer
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
170
click to vote
KR
2010
Springer
16 years 1 days ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
156
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we present a model for TCP/IP ow control mechanism. The rate at which data is transmitted increases linearly in time until a packet loss is detected. At that point,...
180
click to vote
DLS
2007
15 years 11 months ago
2007
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
157
click to vote
FLAIRS
2008
15 years 9 months ago
2008
For many educational applications such as learning tools for argumentation, structured diagrams are a suitable form of external representation. However, student-created graphs pos...