4211 search results - page 179 / 843 » Types as Abstract Interpretations |
193
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
142
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In [1], we have recently proposed a general approach for approximating the power sum of Log–Normal Random Variables (RVs) by using the Pearson system of distributions...
115
Voted
MLQ
2002
15 years 3 months ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
143
click to vote
LCR
2000
Springer
15 years 7 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
142
Voted
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...