307 search results - page 46 / 62 » Towards Generic Refactoring |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
This work presents a new approach to solve the location management problem by using the location areas approach. A combination of a genetic algorithm and the Hopfield neural netwo...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
GEOS
2005
Springer
15 years 3 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
DAWAK
2007
Springer
15 years 1 months ago
2007
Springer
In association rules mining, current trend is witnessing the emergence of a growing number of works toward bringing negative items to light in the mined knowledge. However, the amo...