2021 search results - page 13 / 405 » COCO: Composition Model and Composition Model Implementation |
203
Voted
ASE
2011
14 years 9 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
95
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
97
Voted
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
125
click to vote
CAIP
2003
Springer
15 years 7 months ago
2003
Springer
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...
110
click to vote
ICIW
2008
IEEE
15 years 8 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...