1037 search results - page 68 / 208 » Compositional Variability - Concepts and Patterns |
124
click to vote
ENTCS
2008
15 years 3 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
115
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
124
click to vote
CRV
2007
IEEE
15 years 9 months ago
2007
IEEE
As an extension to classical structured lighting techniques, the use of bi-dimensional pseudo-random color codes is explored to perform range sensing with variable density from a ...
115
click to vote
VTS
1995
IEEE
15 years 6 months ago
1995
IEEE
Optimized locally exhaustive test pattern generators based on linear sums promise a low overhead, but have an irregular structure. The paper presents a new algorithm able to compu...
203
click to vote
UC
2010
Springer
15 years 1 months ago
2010
Springer
We study Life-like cellular automaton rule B2/S2345. This automaton exhibits a chaotic behavior yet capable for purposeful computation. The automaton implements Boolean gates via p...