2912 search results - page 485 / 583 » Overlay Networks - Implementation by Specification |
163
click to vote
JACM
2002
15 years 4 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
150
click to vote
TMA
2010
Springer
15 years 2 months ago
2010
Springer
This paper aims at proposing a methodology for evaluating current IDS capabilities of detecting attacks targeting the networks and their services. This methodology tries to be as r...
138
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Differential co-expression analysis is an emerging strategy for characterizing disease related dysregulation of gene expression regulatory networks. Given pre-defined ...
132
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper is organized as follows. In Section 2, we formulate the proposed UMPC method for modeling nonstationary and multi-modal data. Both MPC and UPC are shown to be special ca...
247
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...