Sciweavers

2560 search results - page 127 / 512
» Analysis Tool for Honeypot Systems
Sort
View
ISOLA
2010
Springer
15 years 5 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
ICHIT
2009
Springer
15 years 4 months ago
Design and implementation of a live-analysis digital forensic system
As the popularity of the internet continues growing, not only change our life, but also change the way of crime. Number of crime by computer as tools, place or target, cases of su...
Pei-Hua Yen, Chung-Huang Yang, Tae-Nam Ahn
INFOVIS
2005
IEEE
16 years 3 days ago
Baby Names, Visualization, and Social Data Analysis
The NameVoyager, a web-based visualization of historical trends in baby naming, has proven remarkably popular. This paper discusses the display techniques used for smooth visual e...
Martin Wattenberg
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 1 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
BIB
2007
82views more  BIB 2007»
15 years 6 months ago
High-throughput modeling and analysis of protein structural dynamics
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
Xiong Liu, Hassan A. Karimi