JELIA
2004
Springer
14 years 4 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
CAV
2004
Springer
14 years 4 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
IWQOS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper describes, briefly, ongoing research on resource reservation state management, including research motivations and initial design.
ECOOP
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents our ongoing research towards a safe system evolution. Our approach is based on data-centric, objectoriented systems. Within those systems we utilise (i) multi-...