Sciweavers

1037 search results - page 21 / 208
» Compositional Variability - Concepts and Patterns
Sort
View
SEW
2006
IEEE
14 years 3 months ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
AGP
1999
IEEE
14 years 2 months ago
The Relative Complement Problem for Higher-Order Patterns
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
Alberto Momigliano, Frank Pfenning
ICPR
2008
IEEE
14 years 4 months ago
Three related types of multi-value association patterns
Mining patterns involving multiple values that are significantly relevant is a difficult but very important problem that crosses many disciplines. Multi-value association patterns...
Thomas W. H. Lui, David K. Y. Chiu
HICSS
2008
IEEE
128views Biometrics» more  HICSS 2008»
14 years 4 months ago
Service Composition Language to Unify Simulation and Optimization of Supply Chains
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
Alexander Brodsky, Malak Al-Nory, Hadon Nash
FM
1999
Springer
109views Formal Methods» more  FM 1999»
14 years 2 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back