4814 search results - page 571 / 963 » Combining abstract interpreters |
173
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
173
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
190
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
136
click to vote
ICTAC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
183
click to vote
ICTCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...