339 search results - page 44 / 68 » Basic concepts of abstract interpretation |
CP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
GCSE
2000
Springer
15 years 3 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
DOOD
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. Semistructured data has no absolute schema xed in advance and its structure may be irregular or incomplete. Such data commonly arises in sources that do not impose a rigi...
RT
1995
Springer
15 years 3 months ago
1995
Springer
Abstract: The problem of global illumination is virtually synonymouswith solving the rendering equation. Although a great deal of research has been directed toward Monte Carlo and ...
DAGSTUHL
2006
15 years 1 months ago
2006
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...