6438 search results - page 1090 / 1288 » A Parameterised Search System |
167
click to vote
PATAT
2004
Springer
15 years 12 months ago
2004
Springer
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
190
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
138
click to vote
SOFSEM
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
219
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
150
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...