1206 search results - page 114 / 242 » Arc-Flags in Dynamic Graphs |
P2P
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we analyze the stability of large scale superpeer networks against attacks. Two different kinds of attacks namely deterministic and degree dependent attack have bee...
105
Voted
NLDB
2007
Springer
15 years 7 months ago
2007
Springer
We intend on developing electronic dictionaries and Finite State Transducers for the automatic processing of the Albanian Language. We describe some peculiarities of this language ...
107
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
AGP
1999
IEEE
15 years 5 months ago
1999
IEEE
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
89
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...