Sciweavers

2560 search results - page 41 / 512
» Analysis Tool for Honeypot Systems
Sort
View
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
14 years 19 days ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
APVIS
2006
13 years 8 months ago
SnapShoot: integrating semantic analysis and visualization techniques for web-based note taking system
We have many application software today to support reading and writing respectively. However, we believe that few applications available today fully support both reading and writi...
Soichiro Iga, Makoto Shinnishi
ACSD
2004
IEEE
86views Hardware» more  ACSD 2004»
13 years 11 months ago
Modular Analysis of Systems Composed of Semiautonomous Subsystems
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
Charles Lakos, Laure Petrucci
ISCAPDCS
2003
13 years 8 months ago
Performance Monitoring of N-tier Client/Server Systems
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...
Christoph Steigner, Jürgen Wilke
TACAS
2009
Springer
167views Algorithms» more  TACAS 2009»
14 years 2 months ago
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
Elina Pacini Naumovich, Simona Bernardi, Marco Gri...