2560 search results - page 139 / 512 » Analysis Tool for Honeypot Systems |
120
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...
128
click to vote
HICSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...
CSB
2004
IEEE
15 years 5 months ago
2004
IEEE
A novel and rigorous Multi-perturbation Shapley Value Analysis (MSA) method has been recently presented [12]. The method addresses the challenge of defining and calculating the fu...
134
click to vote
SDL
2003
15 years 3 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
110
click to vote
HYBRID
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...