4674 search results - page 140 / 935 » cases 2008 |
141
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each...
178
Voted
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
172
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
117
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A solution to a problem of Erdos, Rubin and Taylor is obtained by showing that if a graph G is (a : b)-choosable, and c/d > a/b, then G is not necessarily (c : d)-choosable. Th...
146
click to vote
ICARCV
2008
IEEE
16 years 15 days ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...