21430 search results - page 3637 / 4286 » Abstract Effective Models |
205
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
We study the effects of various emergent topologies of interaction on the rate of language convergence in a population of communicating agents. The agents generate, parse, and lea...
210
click to vote
CSB
2004
IEEE
15 years 11 months ago
2004
IEEE
The soundness of clustering in the analysis of gene expression profiles and gene function prediction is based on the hypothesis that genes with similar expression profiles may imp...
193
click to vote
BIOADIT
2006
Springer
15 years 11 months ago
2006
Springer
To provide application-oriented network services, a variety of overlay networks are deployed over physical IP networks. Since they share and compete for the same physical network r...
210
click to vote
CBSE
2006
Springer
15 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
201
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Resiliency to link failures in optical networks is becoming increasingly important due to the increasing data rate in the fiber. Path protection schemes attempt to guarantee a bac...