Sciweavers

348 search results - page 43 / 70
» SERVIAM Maintenance Framework
Sort
View
AI
2010
Springer
15 years 6 months ago
Logic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...
MICS
2010
128views more  MICS 2010»
15 years 23 days ago
Arrangements on Parametric Surfaces II: Concretizations and Applications
We describe the algorithms and implementation details involved in the concretizations of a generic framework that enables exact construction, maintenance, and manipulation of arran...
Eric Berberich, Efi Fogel, Dan Halperin, Michael K...
ICSM
2009
IEEE
16 years 19 days ago
Identifying high-level dependence structures using slice-based dependence analysis
This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...
Zheng Li
HICSS
2003
IEEE
209views Biometrics» more  HICSS 2003»
15 years 11 months ago
A Tool for the Capture and Use of Process Knowledge in Process Tailoring
Software processes are critical assets of software development organizations. The knowledge about context in which a process is defined and tailored is typically lost during softw...
Peng Xu, Balasubramaniam Ramesh
LCR
1998
Springer
119views System Software» more  LCR 1998»
15 years 10 months ago
QoS Aspect Languages and Their Runtime Integration
Abstract. Distributedobject middleware, suchas CORBA, hides systemand network-speci c characteristics of objects behind functional interface speci cations. This simpli es developme...
Joseph P. Loyall, David E. Bakken, Richard E. Scha...