2478 search results - page 157 / 496 » Quadtrees as an Abstract Domain |
IWPC
2002
IEEE
14 years 1 months ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...
PADO
2001
Springer
14 years 21 days ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
AMAST
1998
Springer
14 years 15 days ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
COSIT
2009
Springer
14 years 6 days ago
2009
Springer
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
ASWC
2006
Springer
14 years 13 hour ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...