Sciweavers

7557 search results - page 168 / 1512
» Constraints as a design pattern
Sort
View
POPL
2003
ACM
16 years 6 months ago
Pure patterns type systems
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, L...
ICIP
2007
IEEE
16 years 8 months ago
Common Spatial Pattern Discovery by Efficient Candidate Pruning
Automatically discovering common visual patterns in images is very challenging due to the uncertainties in the visual appearances of such spatial patterns and the enormous computa...
Junsong Yuan, Zhu Li, Yun Fu, Ying Wu, Thomas S. H...
ECSA
2008
Springer
15 years 8 months ago
Modeling Architectural Patterns' Behavior Using Architectural Primitives
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
Ahmad Waqas Kamal, Paris Avgeriou
DAC
1998
ACM
16 years 7 months ago
Hierarchical Algorithms for Assessing Probabilistic Constraints on System Performance
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
Gustavo de Veciana, Margarida F. Jacome, J.-H. Guo
GEO
2000
15 years 8 months ago
Satisfying Interaction Constraints
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...
Alex Noort, Rafael Bidarra, Willem F. Bronsvoort