7988 search results - page 1504 / 1598 » A Useful Undecidable Theory |
169
Voted
VMCAI
2010
Springer
16 years 26 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...
142
Voted
SOSP
2005
ACM
16 years 14 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 14 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...
129
Voted
IUI
2010
ACM
16 years 14 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...
125
Voted
CSCW
2010
ACM
16 years 13 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...