3527 search results - page 683 / 706 » Test Automation in Practice |
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
PRICAI
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, we propose a system called kMedia that can assist users to form knowledge for community by showing shared topics networks (STN) among them. One of the important aspe...
ISCA
1995
IEEE
15 years 1 months ago
1995
IEEE
Previous research has shown that the SPEC benchmarks achieve low miss ratios in relatively small instruction caches. This paper presents evidence that current software-development...
GECCO
2010
Springer
15 years 1 months ago
2010
Springer
Particle swarm optimization (PSO) has been in practice for more than 10 years now and has gained wide popularity in various optimization tasks. In the context to single objective ...