2911 search results - page 200 / 583 » A Theory of Expressiveness in Mechanisms |
173
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
169
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Current keyword-oriented search engines for the World Wide Web do not allow specifying the semantics of queries. We address this limitation with NAGA1 , a new semantic search engi...
188
click to vote
IWCMC
2009
ACM
16 years 1 months ago
2009
ACM
We derive theoretical bit and frame error rate expressions for decode-and-forward (DF) collaborative networks containing M users, employing a variety of block codes over a Rayleig...
172
click to vote
LFCS
2007
Springer
16 years 19 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
229
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...