258 search results - page 34 / 52 » Find a Meeting |
110
click to vote
COMPSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
116
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Software maintenance is responsible for as much as two thirds of the cost of any software, and is consequently an important research area. In this paper we focus on the change pro...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
Many applications on blog search and mining often meet the challenge of handling huge volume of blog data, in which one single blog could contain hundreds or even thousands of ent...