4140 search results - page 271 / 828 » A Use Case Based Approach to Feature Models' Construction |
170
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
189
click to vote
AAAI
2008
15 years 9 months ago
2008
ion-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker Andrew Gilpin and Tuomas Sandholm Computer Science Dep...
174
click to vote
FATES
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
182
click to vote
HCSE
2010
15 years 5 months ago
2010
Abstract. Interactive spaces with multiple networked devices and interactive surfaces are an effective means to support multi-user collocated collaboration. In these spaces, surfa...
189
click to vote
SAC
2008
ACM
15 years 6 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...