313 search results - page 19 / 63 » Preprocessors from an Abstract Point of View |
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper proposes the incremental goal evolution process methodology from the view point of the approach to business process optimization. This paper first presents a p...
ERCIMDL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Quality management is, not only for digital libraries, an important task in which many dimensions and different aspects have to be considered. The following paper gives a...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
AIML
2008
13 years 8 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
LPAR
2000
Springer
13 years 11 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...