Sciweavers

2918 search results - page 484 / 584
» Design tools for reliability analysis
Sort
View
SPIN
2010
Springer
14 years 8 months ago
Combining SPIN with ns-2 for Protocol Optimization
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
Pedro Merino, Alberto Salmeron
SIGSOFT
2010
ACM
14 years 7 months ago
Software is data too
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
Andrian Marcus, Tim Menzies
SIMULATION
2010
178views more  SIMULATION 2010»
14 years 4 months ago
Application-level Simulation for Network Security
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
Stephan Schmidt, Rainer Bye, Joël Chinnow, Ka...
ICASSP
2011
IEEE
14 years 1 months ago
Data-driven fMRI group classification using connected components and Gaussian process classifiers
Functional magnetic resonance imaging (fMRI) is a popular tool for studying brain activity due to its non-invasiveness. Conventionally an expected response needs to be available f...
Sarah Lee, Fernando Zelaya, Yohan Samarasinghe, St...
ESORICS
2012
Springer
13 years 10 days ago
X.509 Forensics: Detecting and Localising the SSL/TLS Men-in-the-Middle
Although recent compromises and admissions have given new credibility to claimed encounters of Man-in-the-middle (MitM) attacks on SSL/TLS, very little proof exists in the public r...
Ralph Holz, Thomas Riedmaier, Nils Kammenhuber, Ge...