4224 search results - page 350 / 845 » Reasoning about Choice |
192
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
204
click to vote
P2P
2006
IEEE
16 years 1 months ago
2006
IEEE
Peers in peer-to-peer file-sharing systems use conjunctive queries as a way of controlling query cost in the absence of information about the behavior of other peers. Conjunctive ...
177
click to vote
PODC
2006
ACM
16 years 1 months ago
2006
ACM
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework...
159
click to vote
CEEMAS
2005
Springer
16 years 1 months ago
2005
Springer
Typical interaction models as addressed messages present several pitfalls. To overcome these limits, new interactional models close to the concept of mutual awareness have been pro...
173
click to vote
DSOM
2005
Springer
16 years 1 months ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...