1205 search results - page 147 / 241 » Conservativity in Structured Ontologies |
153
click to vote
ATVA
2009
Springer
16 years 29 days ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
159
click to vote
ESOP
2007
Springer
16 years 17 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
170
click to vote
LPAR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
159
click to vote
WIA
2007
Springer
16 years 15 days ago
2007
Springer
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...
156
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract—Structured peer-to-peer overlay networks provide a useful substrate for building distributed applications but there are general concerns over the cost of maintaining the...