623 search results - page 63 / 125 » Declarative Network Verification |
INFORMATICALT
2000
13 years 8 months ago
2000
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...
SP
2000
IEEE
14 years 1 months ago
2000
IEEE
The law of Conservation of Flow, which states that an input must either be absorbed or sent on as an output (possibly with modification), is an attractive tool with which to analy...
CAMAD
2006
IEEE
13 years 10 months ago
2006
IEEE
A new and simple network simulator Nessi is described in this paper. While other simulators focus on minimizing the simulation time, Nessi tries to minimize the development time an...
FLAIRS
2009
13 years 6 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...