2025 search results - page 128 / 405 » Minimal-Cut Model Composition |
FGR
2006
IEEE
14 years 3 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 3 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...
ACSC
2005
IEEE
14 years 2 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 ...
GECCO
2005
Springer
14 years 2 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...
TSC
2008
13 years 9 months ago
2008
Web service composition (WSC) techniques assume that the parameters used to model the environment remain static and accurate throughout the composition's execution. However, W...