1643 search results - page 230 / 329 » Consistability: Describing Usually Consistent Systems |
87
Voted
IJNSEC
2008
14 years 11 months ago
2008
The paper discusses our research in development of general and systematic methods for intrusion prevention. The key idea is to use data mining techniques to discover repeated patt...
COMCOM
2007
14 years 11 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
78
Voted
JIIS
2008
14 years 11 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
JCNS
2006
14 years 11 months ago
2006
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modeled with a simple integrate-and-fire process, whils...
JSCIC
2008
14 years 11 months ago
2008
Abstract An epitaxial thin film consists of layers of atoms whose lattice properties are determined by those of the underlying substrate. This paper reviews mathematical modeling, ...