Sciweavers

9842 search results - page 14 / 1969
» Compositional timing analysis
Sort
View
APSCC
2010
IEEE
14 years 10 months ago
ValySeC: A Variability Analysis Tool for Service Compositions Using VxBPEL
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...
Chang-ai Sun, Tieheng Xue, Marco Aiello
WSS
2001
111views Control Systems» more  WSS 2001»
15 years 4 months ago
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary
Abstract. We study a special type of self-stabilizing algorithms composition : the cross-over composition (A B). The cross-over composition is the generalization of the algorithm c...
Joffroy Beauquier, Maria Gradinariu, Colette Johne...
LLC
2010
14 years 10 months ago
Quantified Conditionals and Compositionality
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
Janneke Huitink
FGR
2008
IEEE
155views Biometrics» more  FGR 2008»
15 years 9 months ago
Biased discriminant analysis using composite vectors for eye detection
We propose a new discriminant analysis using composite vectors for eye detection. A composite vector consists of a number of pixels inside a window on an image. The covariance of ...
Chunghoon Kim, Matthew Turk, Chong-Ho Choi
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 7 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan