Sciweavers

759 search results - page 1 / 152
» Identifying Modeling Errors in Signatures by Model Checking
Sort
View
SPIN
2009
Springer
13 years 10 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...
EUROMICRO
1996
IEEE
13 years 7 months ago
Software Monitoring and Debugging Using Compressed Signature Sequences
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
István Majzik
TACAS
2004
Springer
127views Algorithms» more  TACAS 2004»
13 years 9 months ago
MetaGame: An Animation Tool for Model-Checking Games
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
Markus Müller-Olm, Haiseung Yoo
FM
2008
Springer
137views Formal Methods» more  FM 2008»
13 years 5 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
IJCBDD
2011
112views more  IJCBDD 2011»
12 years 10 months ago
A novel network model identified a 13-gene lung cancer prognostic signature
: This study presents a novel network methodology to identify prognostic gene signatures. Implication networks based on prediction logic are used to construct genome-wide coexpress...
Nancy Lan Guo, Ying-Wooi Wan, Swetha Bose, James D...