Sciweavers

2560 search results - page 86 / 512
» Analysis Tool for Honeypot Systems
Sort
View
JUCS
2008
134views more  JUCS 2008»
15 years 1 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
IESS
2007
Springer
110views Hardware» more  IESS 2007»
15 years 7 months ago
Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
Karsten Albers, Frank Bodmann, Frank Slomka
IWPC
2006
IEEE
15 years 7 months ago
Dynamic Analysis of Software Systems using Execution Pattern Mining
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
Hossein Safyallah, Kamran Sartipi
WSC
2000
15 years 3 months ago
Hybrid-system simulation for National Airspace System safety analysis
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
Amy R. Pritchett, Seungman Lee, David Huang, David...
119
Voted
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 11 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur