3071 search results - page 347 / 615 » Explanatory Design Theory |
145
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...
181
click to vote
APN
1995
Springer
15 years 10 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
180
Voted
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In the strategyproof classification setting, a set of labeled examples is partitioned among multiple agents. Given the reported labels, an optimal classification mechanism returns...
173
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
180
click to vote
CLEIEJ
2008
15 years 6 months ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...