Sciweavers

297 search results - page 31 / 60
» Validation of an agent based system using Petri Nets
Sort
View
76
Voted
FLAIRS
2006
15 years 7 days ago
A Case-Based Approach to Explore Validation Experience
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...
Rainer Knauf, Setsuo Tsuruta
101
Voted
SPIN
2009
Springer
15 years 5 months ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
DSRT
1999
IEEE
15 years 3 months ago
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
Giancarlo Fortino, Libero Nigro
ACMSE
2005
ACM
15 years 4 months ago
Alert confidence fusion in intrusion detection systems with extended Dempster-Shafer theory
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...
Dong Yu, Deborah A. Frincke
AP2PC
2003
Springer
15 years 4 months ago
Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments
Open trading environments involve a type of peer-to-peer computing characterised by well-defined interaction protocols that are used by the traders and sometimes updated dynamicall...
Martin K. Purvis, Mariusz Nowostawski, Stephen Cra...