3510 search results - page 372 / 702 » Searching with numbers |
181
click to vote
SSS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
218
click to vote
WEBDB
2005
Springer
16 years 1 months ago
2005
Springer
Efficient query processing in P2P-based Web integration systems poses a variety of challenges resulting from the strict decentralization and limited knowledge. As a special probl...
215
click to vote
APN
2004
Springer
16 years 29 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
173
click to vote
CTRSA
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. In [8] Vaudenay presented an attack on block cipher CBCmode encryption when a particular padding method is used. In this paper, we employ a similar approach to analyse th...
198
click to vote
GECCO
2004
Springer
16 years 28 days ago
2004
Springer
The use of Genetic Algorithms in evolution of mutants and test cases offers new possibilities in addressing some of the main problems of mutation testing. Most specifically the p...