1679 search results - page 108 / 336 » Variability and Component Composition |
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
FGR
2006
IEEE
14 years 1 months ago
2006
IEEE
Facial composites are typically constructed by witnesses to crime by describing a suspect's face and then selecting facial features from a kit of parts. Unfortunately, when p...
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
SLE
2009
Springer
14 years 11 days ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
We describe a new method for learning the conditional probability distribution of a binary-valued variable from labelled training examples. Our proposed Compositional Noisy-Logica...