6014 search results - page 691 / 1203 » Structural Testing with Use Cases |
171
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...
162
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
181
Voted
ICESS
2007
Springer
16 years 1 months ago
2007
Springer
Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve th...
162
click to vote
NPC
2007
Springer
16 years 1 months ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
190
click to vote
CBMS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes techniques used in a Web-based decision support system to enhance dermatological diagnosis for rural and remote communities. We proposed a technique to improv...