7796 search results - page 391 / 1560 » On Generalized Schur Numbers |
151
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
197
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
178
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
198
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
There are an increasing number of initiatives for the migration of agents research towards new Internet technologies such as the semantic web, Grid, and web services. On the one h...
200
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...