6020 search results - page 548 / 1204 » A New Approach to Model Counting |
206
click to vote
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
218
click to vote
ICIW
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
186
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
A new model for evolving the structure of a Particle Swarm Optimization (PSO) algorithm is proposed in this paper. The model is a hybrid technique that combines a Genetic Algorithm...
176
click to vote
COLING
2008
15 years 8 months ago
2008
Quickly moving to a new area of research is painful for researchers due to the vast amount of scientific literature in each field of study. One possible way to overcome this probl...
162
click to vote
CMG
2004
15 years 8 months ago
2004
The workload of a network is usually a heterogeneous aggregate of services and applications, driven by a large number of users. This complexity makes it challenging to evaluate th...