Sciweavers

2414 search results - page 84 / 483
» Reasoning Support for OWL-E
Sort
View
ASPDAC
2005
ACM
120views Hardware» more  ASPDAC 2005»
13 years 12 months ago
STACCATO: disjoint support decompositions from BDDs through symbolic kernels
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
Stephen Plaza, Valeria Bertacco
VAMOS
2010
Springer
13 years 11 months ago
Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
Reinhard Stoiber, Martin Glinz
IM
2007
13 years 11 months ago
A decision support tool to optimize scheduling of IT changes
— Change management is one of the most critical processes in IT management. Some of the reasons are the sheer number of changes and the difficulty of evaluating the impact of cha...
Rodrigo Rebouças, Jacques Philippe Sauv&eac...
FLAIRS
2001
13 years 11 months ago
Combining Concept Mapping with CBR: Towards Experience-Based Support for Knowledge Modeling
Knowledge management depends on effective methods for capturing knowledge in useful forms and making it available when needed. Electronic concept maps provide a promising represen...
Alberto J. Cañas, David B. Leake, Ana Gabri...
ECSCW
1997
13 years 11 months ago
Supporting the Flow of Information Through Constellations of Interaction
Abstract: In field studies designed to uncover opportunities for computationallyintensive business applications, we observed an interaction pattern we term "constellations&quo...
Tony Salvador, Sara A. Bly