4586 search results - page 602 / 918 » Computing stable models in parallel |
139
click to vote
WINE
2005
Springer
15 years 10 months ago
2005
Springer
We study a model of path-vector routing in which nodes’ routing policies are based on subjective cost assessments of alternative routes. The routes are constrained by the requir...
142
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Popular methods to reconstruct molecular phylogenies are based on multiple sequence alignments, in which addition or removal of data may change the resulting tree topo...
118
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...
109
click to vote
IEEESCC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...
130
click to vote
HOTI
2005
IEEE
15 years 10 months ago
2005
IEEE
We present SPINet (Scalable Photonic Integrated Network), an optical switching architecture particularly designed for photonic integration. The performance of SPINet-based network...