6704 search results - page 203 / 1341 » Testing Scenario-Based Models |
171
click to vote
FMOODS
2006
15 years 8 months ago
2006
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
180
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
: 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...
149
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we deal with information retrieval approach based on language model paradigm, which has been intensively investigated in recent years. We propose, implement, and ev...
145
click to vote
CLEF
2001
Springer
15 years 11 months ago
2001
Springer
: This report describes our test on using statistical translation models for bilingual IR
195
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...