7918 search results - page 205 / 1584 » Model Composition Directives |
136
Voted
GPCE
2007
Springer
15 years 9 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...
115
click to vote
FGR
2006
IEEE
15 years 9 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...
128
click to vote
QEST
2006
IEEE
15 years 9 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...
119
Voted
ACSC
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
107
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...