2006 search results - page 194 / 402 » Testing with Respect to Concerns |
118
click to vote
IEEESCC
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...
133
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with Time Windows (CV...
168
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
126
click to vote
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
121
click to vote
INDOCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Saarinen recently proposed a chosen IV statistical attack, called the d-monomial test, and used it to find weaknesses in several proposed stream ciphers. In this paper we generali...