3178 search results - page 442 / 636 » Survivability Analysis of Networked Systems |
203
click to vote
DFN
2003
15 years 8 months ago
2003
In recent years research activities in computer network security focus more actively on the development of effective methods in intrusion detection. The reason for this developmen...
163
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...
199
click to vote
BIOCOMP
2010
15 years 4 months ago
2010
- We present a novel hierarchical modular decision engine for lung nodule detection from CT images implemented by Artificial Neural Networks. The proposed Computer Aided Detection ...
162
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...