7988 search results - page 1504 / 1598 » A Useful Undecidable Theory |
165
Voted
VMCAI
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
141
click to vote
SOSP
2005
ACM
16 years 8 days ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
143
Voted
PEPM
2009
ACM
16 years 7 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
127
Voted
IUI
2010
ACM
16 years 7 days ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
123
Voted
CSCW
2010
ACM
16 years 7 days ago
2010
ACM
Socialization of newcomers is critical both for conventional groups. It helps groups perform effectively and the newcomers develop commitment. However, little empirical research h...