6020 search results - page 265 / 1204 » A New Approach to Model Counting |
165
click to vote
FATES
2005
Springer
15 years 11 months 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...
167
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
187
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
There are two different approaches in the LR parsing. The first one is the deterministic approach that performs the only one action using the control rules learned without any LR ...
137
click to vote
SODA
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we study an online make-to-order variant of the classical joint replenishment problem (JRP) that has been studied extensively over the years and plays a fundamental...
177
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
An evolutionary approach for the optimization of microarray coatings produced via sol-gel chemistry is presented. The aim of the methodology is to face the challenging aspects of t...