2746 search results - page 205 / 550 » Case Study in Survivable Network System Analysis |
170
click to vote
IWANN
2005
Springer
16 years 1 days ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
158
click to vote
CBSE
2009
Springer
16 years 1 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
173
click to vote
JCNS
2002
15 years 6 months ago
2002
We present a reduction of a large-scale network model of visual cortex developed by McLaughlin, Shapley, Shelley, and Wielaard. The reduction is from many integrate-and-fire neuron...
170
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
161
click to vote
IADIS
2003
15 years 8 months ago
2003
Problems of data retrieval and collaborative work in mobile environment are introduced. System architecture of a system solving these problems is introduced and described. A short...