1206 search results - page 28 / 242 » Concurrent Abstract Predicates |
130
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
127
click to vote
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
110
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
108
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
79
Voted
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy p...