2560 search results - page 40 / 512 » Analysis Tool for Honeypot Systems |
ICIS
2004
13 years 8 months ago
2004
Although called systems, information systems in organizations are often viewed as tools that "users" use. IS success is often gauged as though it were about acceptance a...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
CDC
2009
IEEE
14 years 4 days ago
2009
IEEE
— This paper addressed the computation of the L2-induced gain for a class of switched systems. The main contribution of the paper is to completely characterize the induced gain o...
HPDC
1998
IEEE
13 years 11 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...