Sciweavers

15644 search results - page 322 / 3129
» Brittle System Analysis
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
ICONIP
2009
15 years 4 months ago
Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning
Malware (Malicious Software) of Windows OS has become more sophisticated. To take some countermeasures for recent infection, more intelligent and automated system log analysis is n...
Ruo Ando
VTS
2006
IEEE
122views Hardware» more  VTS 2006»
16 years 22 days ago
Early, Accurate and Fast Yield Estimation through Monte Carlo-Alternative Probabilistic Behavioral Analog System Simulations
Monte Carlo analysis has so far been the corner stone for analog statistical simulations. Fast and accurate simulations are necessary for stringent time-to-market, design for manu...
Rasit Onur Topaloglu
HICSS
2002
IEEE
123views Biometrics» more  HICSS 2002»
15 years 11 months ago
On the Performance of a Survivability Architecture for Networked Computing Systems
This research focuses on the performance and timing behavior of a two level survivability architecture. The lower level of the architecture involves attack analysis based on kernel...
William S. Harrison, Axel W. Krings, Nadine Hanebu...
COOPIS
2000
IEEE
15 years 11 months ago
Exploring the Semantic Structure of Technical Document Collections: A Cooperative Systems Approach
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
Andreas Becks, Stefan Sklorz, Matthias Jarke