Sciweavers

JELIA
2004
Springer
14 years 5 months ago
Explaining Subsumption by Optimal Interpolation
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...
Stefan Schlobach
CAV
2004
Springer
159views Hardware» more  CAV 2004»
14 years 5 months ago
Static Program Analysis via 3-Valued Logic
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...
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
IWQOS
2005
Springer
14 years 5 months ago
Resilient State Management in Large Scale Networks
Abstract. This paper describes, briefly, ongoing research on resource reservation state management, including research motivations and initial design.
Yangcheng Huang, Saleem N. Bhatti
ECOOP
2005
Springer
14 years 5 months ago
Towards Reusable Heterogeneous Data-Centric Disentangled Parts
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-...
Michael Reinsch, Takuo Watanabe