3082 search results - page 216 / 617 » Deviation Analysis: A New Use of Model Checking |
296
click to vote
EDM
2009
15 years 4 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
181
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
167
click to vote
CNSR
2006
IEEE
16 years 16 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
213
click to vote
TII
2008
15 years 6 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
164
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...